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-01 13:00:32

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.

— Marshall