Michael Kuhn 8c1329958c Hotfix for config singleton initialization (#17263) ... Fixes #17262		2020-08-10 07:48:33 +02:00
..
spack	Hotfix for config singleton initialization (#17263)	2020-08-10 07:48:33 +02:00