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

Subject: Re: [Boost-maint] [pool] Add dependency on boost_system
From: Ben Pope (benpope81_at_[hidden])
Date: 2014-04-21 22:36:39

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.

Ben