Boost logo

Boost :

Subject: Re: [boost] [mpi] Unmerged change
From: Matthias Troyer (troyer_at_[hidden])
Date: 2009-06-07 23:48:32

On Jun 7, 2009, at 12:45 PM, Daniel James wrote:

> Hi,
> Changest 48610 has only been partially merged, it needs to be merged
> because mpi currently includes some deprecated headers that have been
> removed in trunk.
> Is it okay for me to merge it?

Yes, go ahead.


Boost list run by bdawes at, gregod at, cpdaniel at, john at