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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org