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

Subject: Re: [Boost-maint] [pool] Add dependency on boost_system
From: Beman Dawes (bdawes_at_[hidden])
Date: 2014-04-21 15:15:57

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.

--Beman