Re: [Boost-maint] [MPI] Fix can be merge to master

[Ben Pope]

On Monday, April 21, 2014 03:18 PM, Ben Pope wrote:

On Tuesday, April 01, 2014 11:34 PM, Ben Pope wrote:

Please merge
https://github.com/boostorg/mpi/commit/a7a2501242e78c65df9ff82c67dcad1f016b415a

to master.

Should fix mpi and graph_parallel

Ping

Ping


_______________________________________________
Unsubscribe & other changes: 
http://lists.boost.org/mailman/listinfo.cgi/boost-maint