tree 925861dd3556da16bd4ae6508d34ea6056afb279
parent a2fbc35f122f4775bd1f83f2820dc0ac38d1dfcf
author Davide Pesavento <davidepesa@gmail.com> 1678734051 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1678734726 -0400

util: remove ndn::optional, use std::optional directly

Change-Id: I503e8f250e80e0ff7708070effc2e84e3b38b3b7