[boost] Merging Pull Requests