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

I've fixed a couple of minor issues in Boost.Pool over the course of the last week and submitted to trunk. Can/should I go ahead and merge these to release? -Chris