Ralf Corsepius wrote: > Hi, > > I would have bugzilla'ed this, but don't have any idea how to file it in > bugzilla (No category for Fedora Infrastructure), therefore ... > > Info about infrastructure tickets https://admin.fedoraproject.org/wikifpo/IndexAdmin#head-0961200a51afe7af188e41e30dc656faf8d07ba4 Tim