Re: [boost] pool/detail/mutex.hpp patch