Closed JohannesKauffmann closed 1 year ago
merged, thanks!
please close the relevant ticket too.
eeeee...
I'm not sure I've done it right, and also not sure it was a great idea to merge this without letting the CI pass..
Looking at the Github jobs, it seems I've done an oopsie.
I see =)
any ideas about a correct fix?
Not yet.
Maybe better to revert this first, in order not to break everyone.
ah, you already did it.
Paths with spaces don't work, however. Document this.
Fixes #618.