On 10 April 2018 at 23:46, Herbert Voj����k <herby@mailbox.sk> wrote:

I have a strict "no github account" policy.

Whom/where should I post to report issues?

Thanks, Herby