From: Alexander Grund (alexander.grund_at_[hidden])
Date: 2020-03-24 07:27:51


Hi,

can Boost.Optional be merged to master? There is even a CI failure on
develop with a PR fixing this. So would be great if those could be
merged shortly.

Thanks