Re: [boost] [uuid] Issue 9407: please merge fix