Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
DRAFT: Fix: Double spin required since 28.2.0
This is a first attempt to fix #2589. It passes all tests, and seems to work, but I am 90% certain it introduces unwanted races and lost wakeups. Anyway, its a starting point for a discussion...
- Loading branch information