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. --Beman _______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost-maint
