On Thu, Nov 15, 2012 at 08:01:34PM +0100, Jakub Hrozek wrote:
Yes, this is in fact the best way to go. Bugzillas coming from
paying
customers tend to get higher priority.
Thanks for pushing the commit. I've started making noise on my support
case and the redhat bugzilla (looks like you saw the latter ;) ), and
will follow up through those channels...