Re: [boost] [release] Permission to merge fix for issue 2501 in boost.thread