tree 2f46c60a1553f5a6b167ae32ba4d86770c7b4333
parent 6e262f0f1e1514619ff73ddf32fbb50e1d74fd59
author Davide Pesavento <davidepesa@gmail.com> 1591646842 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1591679818 -0400

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

any-lite commit 56cdca9c94af84c6e643a05c9105cb1dc38c5d8c
optional-lite commit 5e8a82ac029aebfd2f5708f183a00eda2be132cc
variant-lite commit 1f79b88132687b0ab1efdcf6e4120724e813602b

Change-Id: I7149abedade21f91e673770169ab7cd6062f02c7