Small refactor, cherry-picking non-functional changes from #42 branch#45
Merged
abelbraaksma merged 3 commits intomainfrom Oct 24, 2022
Merged
Small refactor, cherry-picking non-functional changes from #42 branch#45abelbraaksma merged 3 commits intomainfrom
abelbraaksma merged 3 commits intomainfrom