17 Apr
2020
17 Apr
'20
3:47 p.m.
Jonathan, I've submitted a minimal fix https://github.com/boostorg/boost/pull/390 I think it may help. Best regards, Mateusz ----- -- Mateusz Loskot, http://mateusz.loskot.net -- Sent from: http://boost.2283326.n4.nabble.com/Boost-Dev-f2600599.html