Repository navigation

Drop `run` and `run_in_threadpool` - #710

Merged

lovelydinosaur merged 5 commits into

Jan 6, 2020

Merged

Drop `run` and `run_in_threadpool`#710
lovelydinosaur merged 5 commits into
masterfrom
drop-run

Commits on Jan 2, 2020
- Drop run and run_in_threadpool
  lovelydinosaur
  committed
  310dc9a
Commits on Jan 3, 2020
- Fix server restart errors
  florimondmanca
  committed
  1186d66
- Merge branch 'master' into drop-run
  florimondmanca
  committed
  7e3a5cc
- Re-introduce 'sleep' as a concurrency test utility
  florimondmanca
  committed
  79000c6
Commits on Jan 6, 2020
- Simpler test concurrency utils
  lovelydinosaur
  committed
  1513f72