On Aug 30, 2013, at 7:22 PM, Eric Sandeen <sandeen at sandeen.net> wrote: > I think so. They may already be aware of it but better to not lose it… Done. https://bugzilla.redhat.com/show_bug.cgi?id=1003227 Chris Murphy