You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Boost.MPI is moving from boost::optional to std::optional when the later is available (unless explicitly asked otherwise).
During the transition phase, clients can expect either, which implies to
only rely on the common API between boost::optional and std::optional
take the Boost MPI type from boost::mpi::optional
I'll submit a pull request with those modifications.