Closed HaraldJoerg closed 2 years ago
Ooops... GitHub magic surprised me. My brute-force approach to include your recent commit closed the PR. I can't reopen because GitHub claims I have new commits in my fork (that's your recent update) so I'll prepare a fresh one.