Resolve "JSON config files not handled"
Closes #516 (closed)
Edited by Tom Teichler
Closes #516 (closed)
assigned to @nik
marked this merge request as ready
enabled an automatic merge when the pipeline for 6e3d9b94 succeeds
merged
mentioned in commit 15b35634