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