On Mon, Aug 6, 2018, 12:19 PM Petr Bokoc <pbokoc@redhat.com> wrote:

Hi, the preferred way to report bugs is through a Pagure issue. I opened one 

Whoops. 
Thank you.

Ciao,
A.