tree 72f93c9699bc4d447130fc815777f3bee9118ca6
parent cf4157658c3d510f61ba9f7967cf0c4522944c3d
author Davide Pesavento <davide.pesavento@lip6.fr> 1488164753 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> 1489465388 -0400

util: alias ndn::optional to std{::experimental,}::optional if available

Change-Id: Ie83ece5ff94fa4422f5b5b55514e5d253ed9920e
Refs: #3753