On Mi, Sep 23, 2020 at 14:34:05 +0200, Damian wrote:
You could just open an issue on github.

Yes, but I don’t have a github account, and I won’t create one only for a bug report/feature request (one of the reasons I like Debian: bugs can be reported by mail).

There are no mail addresses in the files either. So I’m trying this list, maybe they are reading it.

Shade and sweet water!

        Stephan

--
|    If your life was a horse, you'd have to shoot it.    |

Reply via email to