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