Closed qmfrederik closed 8 months ago
The change itself looks good, but what is causing the checks to fail and why are there four extra lines of change?
The failed checks are, I think, a GitHub system failure; the four extra changes were tabs-to-spaces conversion (to be consistent with the other lines)
Also fixes some whitespace issues (replace tabs by spaces to be consistent)