11 Nov
2017
11 Nov
'17
12:17 a.m.
On 10 November 2017 at 23:24, Andrey Semashev via Boost
Some relevant links. The original (incorrect) change was:
https://github.com/boostorg/uuid/commit/07f68d3b9ce95bbde19b0212293f5110d363...
The change that is proposed to be merged is this:
Thanks, that's helpful. This should certainly be included in the final release, but I think it can wait until after the beta.