Subject: Re: [boost] [thread][build] develop terminally broken?
From: Peter Dimov (lists_at_[hidden])
Date: 2017-10-07 16:36:19
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.