So this is a duplicate of https://bugzilla.suse.com/show_bug.cgi?id=971671 , right? (The other bug is https://bugzilla.suse.com/show_bug.cgi?id=1108422 )