Re: [boost] 1.37: Boost.Pool fixes to be merged to release?