Coverage increased (+0.44%) to 66.56% when pulling 4b3873e5e132048d54dcd842a93160f88f1b30f2 on jj_config_tests into 2ed7cbb96f1b819805a7c0b6c30bfed7e240f24b on develop.
Coverage increased (+0.4%) to 66.52% when pulling 8c513488ef28c6156a8fee939659b7cd8083da03 on jj_config_tests into 2ed7cbb96f1b819805a7c0b6c30bfed7e240f24b on develop.
@sb2nov PTAL
Will investigate how to test the singleton :P