>> >> On 9/19/2012 5:54 PM, Arthur Dent wrote: [snip] > Thanks for jogging my memory. It will work of course, but it still feels a > bit of a kludge. Zdenek Pytela has pointed out that it does indeed seem to > be hardcoded so I think I might report it as a bug. > https://bugzilla.redhat.com/show_bug.cgi?id=859339 -- users mailing list users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines Have a question? Ask away: http://ask.fedoraproject.org
