>> It's a known problem and it seems it's been taken care of already: >> https://hosted.fedoraproject.org/projects/packagedb/ticket/55 > Yep. I committed a fix yesterday. The fix will be pushed to the > production instance the next time I sync from devel. ~ 1 week. That is nice. On hindsight I should have searched the tickets before posting here. Sorry for the noise. Cheers, Debarshi -- GPG key ID: 63D4A5A7 Key server: pgp.mit.edu -- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list
