(In reply to Thomas Martitz from comment #15) > > So, what to do with this information / potential fix? Please file a bug as per comment 10 and include that information.