Closed ohhmm closed 2 years ago
@ohhmm Thanks for the contribution, next time please set your MR to target the develop
branch. You will see that this has already been fixed in develop
with effd078b325c1c5f408a9ae87bd695b429875d8e.
@mloskot It looks like master
needs an update...
@sdebionne Yes, I've neglected the master and not updated it from the develop for a while. I'll do it tonight.
I would be happy to do it, but I am not sure what is our policy regarding merging develop
to master
. We can discuss that in the the new Github Discussion 😁 ...
Fixed in the upcoming Boost 1.80
Description
References
Tasklist