Re: [boost] [thread][build] develop terminally broken?

Andrey Semashev wrote:

Until those PRs are merged, what is the workaround to get things working locally?

All the PRs have been merged, so the superproject should be fine now.