>
> 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