On Apr 21, 2014, at 7:36 PM, Ben Pope <[email protected]> wrote: > On Tuesday, April 22, 2014 03:15 AM, Beman Dawes wrote: >> On Mon, Apr 21, 2014 at 3:19 AM, Ben Pope <[email protected]> wrote: >> >>> On Wednesday, April 02, 2014 01:00 AM, Marshall Clow wrote: >>> >>>> On Apr 1, 2014, at 9:29 AM, Ben Pope <[email protected]> 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 _______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost-maint
