tree eba4386071ed85f5307ed29fbe8d840574cf05ea
parent 93101df38ffa317f2b45e62084fae4629198d8c0
author Davide Pesavento <davidepesa@gmail.com> 1624905173 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1624924642 -0400

util: stop including any/optional/variant from backports.hpp

Give each utility its own public header util/{any,optional,variant}.hpp

Change-Id: I4850e7bbff3ce1aa4fe7bbb64e7262c39af387aa