http://bugzilla.suse.com/show_bug.cgi?id=907873 --- Comment #9 from Andrei Borzenkov --- I was about to submit pull request but it looks like guthub is being blocked/hijacked from here. Sorry, I have no idea when/whether it will be fixed. -- You are receiving this mail because: You are on the CC list for the bug.