Skip to content

Use default executor when Runner(..., executor=None)#389

Merged
basnijholt merged 1 commit intomainfrom
use-default-executor
Nov 30, 2022
Merged

Use default executor when Runner(..., executor=None)#389
basnijholt merged 1 commit intomainfrom
use-default-executor

Commits

Commits on Nov 30, 2022