Boost logo

Boost :

Subject: Re: [boost] [release] permission to merge Stephan's bootstrap changes?
From: Eric Niebler (eniebler_at_[hidden])
Date: 2013-10-29 12:56:46

On 10/29/2013 4:57 AM, Beman Dawes wrote:
> On Tue, Oct 29, 2013 at 3:36 AM, Eric Niebler <eniebler_at_[hidden]> wrote:
>> I've manually verified Stephan's fix. May I merge
>> and end Stephan's
>> suffering?
> Yes to merge.
> Yes to ending Stephan's suffering:-)
> Thanks to the large number of boosters it took to resolve this.

Merged to release in [86516]. Many thanks to Stephan for his patience
and persistence in getting this fixed.

Eric Niebler

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