boostorg/pool — pull request #2 by Belcourt (2014-05-10 02:45:51+00:00)
Title: Merge to master.

I probably won't merge all these to master, just producing this PR so I can see them all in one place.