Herbert Vojčík Tue, 10 Apr 2018 08:47:05 -0700
I have a strict "no github account" policy.
Whom/where should I post to report issues? Thanks, Herby