Closed jwnimmer-tri closed 6 years ago
The repository at https://github.com/akrzemi1/Optional has a few new changes to optional, namely reset() and has_value(). Any chance we could get a refresh merged into this repository? I could work up a PR if that's helpful.
optional
reset()
has_value()
The repository at https://github.com/akrzemi1/Optional has a few new changes to
optional
, namelyreset()
andhas_value()
. Any chance we could get a refresh merged into this repository? I could work up a PR if that's helpful.