-
Tim-Philipp Müller authored
Shouldn't really happen these days, but if it does, it's not really a problem either. https://bugzilla.gnome.org/show_bug.cgi?id=656068
0c9b039c
Shouldn't really happen these days, but if it does, it's not really a problem either. https://bugzilla.gnome.org/show_bug.cgi?id=656068