tree c099261b24b3fbe192236c2b2634045198917f5a
parent e3ecad7bc7ffb583bfc39aeca1da2752c3cc5871
author Davide Pesavento <davide.pesavento@lip6.fr> 1537116481 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1537116882 -0400

util: update bundled copy of optional-lite

This updates optional.hpp to upstream git commit
063af3ed2e830f3fcb77c635c6391e5d65c51fe5

Change-Id: Ie390b2818fa4dff8c600b777b77104b7f0c11f9d