Re: [Boost-maint] [pool] Add dependency on boost_system

Subject: Re: [Boost-maint] [pool] Add dependency on boost_system
From: Marshall Clow (mclow.lists_at_[hidden])
Date: 2014-04-22 15:08:08

On Apr 21, 2014, at 7:36 PM, Ben Pope <benpope81_at_[hidden]> wrote:

> On Tuesday, April 22, 2014 03:15 AM, Beman Dawes wrote:
>> On Mon, Apr 21, 2014 at 3:19 AM, Ben Pope <benpope81_at_[hidden]> wrote:
>> 
>>> On Wednesday, April 02, 2014 01:00 AM, Marshall Clow wrote:
>>> 
>>>> On Apr 1, 2014, at 9:29 AM, Ben Pope <benpope81_at_[hidden]> wrote:
>>>> 
>>>>  https://github.com/boostorg/pool/pull/1
>>>>> 
>>>>> Hope I've done this is right!
>>>>> 
>>>> Ben —
>>>> 
>>>> This patch looks fine to me.
>>>> 
>>>> Sadly, I cannot merge it, because we (the community maintenance team) do
>>>> not have write privs on Boost.Pool.
>>>> Cc’ing Stephen Cleary, who is (according to libs/maintainers.txt) the
>>>> Boost.Pool maintainer.
>>>> 
>>> 
>>> Ping
>>> 
>> 
>> I've added Boost.Pool to the Community Maintenance team's repos.
> 
> Thanks Beman.

Thanks, Beman
And I’ve merged this.

— Marshall