[Boost-mpi] Bug #12723

Subject: [Boost-mpi] Bug #12723
From: Richard (richard_at_[hidden])
Date: 2017-07-13 18:20:22

Dear Boost MPI developers and maintainers,

since none of the developers or maintainers commented on the ticket
within the last half a year, I would like to make sure you are aware of
this bug:
https://svn.boost.org/trac10/ticket/12723

Could someone please see to it that this does not make it to the next
release?
It's really not difficult to fix and I think it's pretty bad this made
it to boost 1.64.

But now it's even in 1.65.0 beta 1!!

Why doesn't the simple fix in the develop branch of boost mpi get merged?
(https://github.com/boostorg/mpi/commit/f5bdcc1ebfe954bb64835f2a0efd94471da42207)

I would be really grateful if boost 1.65.0 had a working boost mpi again.

Best,
Richard