[boost] Merging pull requests in boostorg/boost