Re: [boost] [Boost-maint] [uuid] Issue 9407: please merge fix