Closed gheyret closed 2 years ago
Is this a duplicate of #308 or are there additional changes in here?
@dgrunwald If you remove the whitespace changes in the github UI it's not so big. But the question is, should the whitespace changes be merged?
I have already merged #308
It's impossible to review this PR due to the excessive formatting changes.