On 30/07/19 13:15, Helmut Grohne wrote: > [...] Thanks, Helmut!
I adapted your patch and uploaded a new version just now. I'll just mention that all my packages are hosted on salsa, so it may be easier, workflow-wise, to do a pull request there :).
signature.asc
Description: PGP signature