Closed fabiangreffrath closed 1 week ago
Fixes #1764
Maybe use this opportunity to do some tidy formatting?
Fixes #1764