tree 6a375f377b269089f96e2fe205165c4bc09fd86a
parent b310efbdaadcd9d6cc227df4f5cca61e2c0d2cf9
author Davide Pesavento <davidepesa@gmail.com> 1555459200 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1555459200 -0400

util: update bundled copies of {any,optional,variant}-lite

any-lite commit b210d89239c3ffa969bffe8731d287674901a7fb
optional-lite commit a08fda6c674ae4c9ff43dcad89f630da512c24d6
variant-lite commit 94e2844cae3bfe19ab3c0f3a9aaa13f69a43c026

Change-Id: I859eb3d2fca8a74899d887a14f4e1a4361b79a8e