Skip to content

GitLab

Commit 808e48be authored by Dan Jones's avatar Dan Jones
Browse files

Merge branch '40-use-threadpoolexecutor-in-place-of-processpoolexecutor' into 'dev' 

Resolve "Use ThreadPoolExecutor in place of ProcessPoolExecutor"

Closes #40

See merge request !20
parents 56dd8725 204bb35a
Pipeline #110248 passed with stages
in 1 minute and 1 second