tree c96d9101e52b9c5957ac7b226548a45a54379f07
parent b72360faeed901daee24c6ff8df5918e225f702e
author Davide Pesavento <davidepesa@gmail.com> 1549069275 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1549324689 -0500

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

any-lite commit 27d4f7dbb853bd28d5324b984bb030d0c7c6eca6
optional-lite commit 6a96f5199c746ac862a2ae184a10f8800b86e20f
variant-lite commit 1051f91afd28fdfc05b2d2b8d1a0359090aabe3e

Change-Id: I8b644419c4e3c1668ae97666af11499db8c3d2b2