If it is hard for you to do in this PR, we can do it as a follow up, but it would be nice for 'make check' to stay the correct way to run the test suite.
« Back to merge proposal
If it is hard for you to do in this PR, we can do it as a follow up, but it would be nice for 'make check' to stay the correct way to run the test suite.