25 Nov
2020
25 Nov
'20
6:50 p.m.
On 11/25/2020 1:25 PM, Steven Watanabe via Boost wrote:
AMDG
On 11/24/20 5:52 PM, Marshall Clow wrote:
On Nov 24, 2020, at 12:47 PM, Edward Diener via Boost
wrote: On 11/24/2020 2:10 PM, Marshall Clow via Boost wrote:
On Nov 24, 2020, at 10:55 AM, Steven Watanabe via Boost
wrote: >> <snip> I can merge it now if it's okay with the release managers.
I looked at the commits since the last merge, and only this one looks problematic for a post-beta merge. (We try not to add new features after the beta)
https://github.com/boostorg/random/commit/1182a4071e6bcdaa94e4c49e4a220885b0... https://github.com/boostorg/random/commit/1182a4071e6bcdaa94e4c49e4a220885b0...
I just cherry-picked everything except that one.
Thank you, Steven !