master-a5d30b1
a5d30b1f · common : better default number of threads (#934) · Apr 30, 2023