Boost logo

Boost :

Subject: [boost] [uuid] Issue 9407: help required to merge fix
From: Antony Polukhin (antoshkka_at_[hidden])
Date: 2014-10-01 09:39:51

There is an issue with long history
That issue is annoying and can be easily fixed. There's even a pull request
to fix that issue (

Could someone take a look at the pull request, comment it and even merge to
develop branch?

Best regards,
Antony Polukhin

Boost list run by bdawes at, gregod at, cpdaniel at, john at