Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
In 0866ddc we merged a change that relied on the assumption that the allocator passed to the parallel unordered synchronizer was not used by anyone else, but this assumption was broken in a test and is now fixed. Release note: None
- Loading branch information