Closed grdw closed 7 years ago
When working on #1539 I found a lot of old concurrency code which wasn't used anymore. I cleaned it.
Thanks @grdw, nice catch! The best code is deleted code! :grinning:
I merged this manually to fix a conflict.
When working on #1539 I found a lot of old concurrency code which wasn't used anymore. I cleaned it.