-
David Zeuthen authored
This is related to https://bugzilla.gnome.org/show_bug.cgi?id=673943 but also useful in a lot of other contexts.
ce81bd87
This is related to https://bugzilla.gnome.org/show_bug.cgi?id=673943 but also useful in a lot of other contexts.