On Wed, Feb 05, 2014 at 11:15:14PM +0100, Miquel van Smoorenburg wrote: > See the messages posted in December 2013 at > https://bugzilla.redhat.com/show_bug.cgi?id=862085 . > > I'm not quite sure what the best course of action is now. Give the bugzilla a nudge. Alasdair