Closed grasegger closed 1 year ago
I made some changes to hopefully close #713
Somehow a strange s file made it into the commit - should I squash and force push or do you want to squash when merging?
I fixed a typo and forced pushed with that, so there is no need to squash anymore
I made some changes to hopefully close #713