Re: [Boost-mpi] Develop VS master

2017-07-14 Thread Richard via Boost-mpi
I was just about to submit my own merge request of the patch I wrote for this bug, when I found a similar fix in the develop branch. Best, Richard On 07/14/2017 08:50 PM, Alain Miniussi wrote: > Hi Richard, > > On 14/07/2017 18:54, Richard via Boost-mpi wrote: >> Hi Alain, >>

Re: [Boost-mpi] Develop VS master

2017-07-14 Thread Richard via Boost-mpi
10:17, Alain Miniussi via Boost-mpi wrote: > >> Please see the discussion in: >> >> https://github.com/boostorg/mpi/pull/46 >> >> I'm going to send an email to the list to see what we can do. >> >> Regards >> >> Alain >> >> On 1

[Boost-mpi] Bug #12723

2017-07-13 Thread Richard via Boost-mpi
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 t