16 Jul
2017
16 Jul
'17
1:51 p.m.
2017-07-16 0:19 GMT+03:00 Daniel James via Boost
On 15 July 2017 at 22:14, Antony Polukhin via Boost
wrote: Thanks for the report. Unfortunately I have no idea what's the problem with it. I'd appreciate any hints.
I'll create a pull request that will hopefully fix it.
Merged. Thanks a lot! -- Best regards, Antony Polukhin