mirror of
https://github.com/boostorg/mpi.git
synced 2026-02-25 04:22:17 +00:00
save_override(const archive::class_id_optional_type & ) was not overriden anymore in oarchive.
save_override(const archive::class_id_optional_type & ) was not overriden anymore in oarchive.