There are a number of fixes in Boost.Thread develop that I would like to
see in 1.73, but they are not merged to master. The last commit to
develop was in Dec 2019, so plenty of time has passed for testing. I'd
like to ask someone to merge develop to master.