Closed mulle-nat closed 3 years ago
Sorry, previous PR needs a fix for #602.
This PR is superseded by #604, in case the CI idea is accepted. Otherwise this is still good.
Not needed anymore
Sorry, previous PR needs a fix for #602.