Closed peterbanda closed 1 year ago
Removing unnecessary new lines. Closes #273
There's some conflicts with another change, can you merge and see if this is still needed?
Fixed/made irrelevant by PR #258. Closed wo merging.
Removing unnecessary new lines. Closes #273