This repository has been archived by the owner on Jul 19, 2021. It is now read-only.
Serial init
Merge pull request #358 from joakim-hove/serial-init Initialisation is explicitly serial - avoid thread_pool
Merge pull request #358 from joakim-hove/serial-init Initialisation is explicitly serial - avoid thread_pool