tree 24723e7bd604d5ea28665e713c234ab2bb4a8db1
parent 570b20dd9d56d27cddc66247d77671123c90b87e
author Davide Pesavento <davide.pesavento@lip6.fr> 1531855224 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1531864554 -0400

util: update optional-lite to version 3.0.0

Change-Id: Icdc0117234404465a3facb802795a66f27467065