mirror of
https://github.com/boostorg/mpi.git
synced 2026-02-27 17:12:24 +00:00
cf5785e040
Fix #10444: MPI archive failure No, I wasn't sure enough of the impact of this change to want it in 1.57. I just merged it now, we'll have 3 months to make sure it doesn't cause any problems. I apologize for the delay.