Closed austin-beer closed 5 years ago
PR https://github.com/boostorg/thread/pull/217 was merged to master instead of to develop. This PR applies the same fix to develop.
PR https://github.com/boostorg/thread/pull/217 was merged to master instead of to develop. This PR applies the same fix to develop.