-
Dan Winship authored
Fixes https://bugzilla.gnome.org/show_bug.cgi?id=686810 for now. https://bugzilla.gnome.org/show_bug.cgi?id=687223 discusses a nicer fix for later.
7b1f8c58
Fixes https://bugzilla.gnome.org/show_bug.cgi?id=686810 for now. https://bugzilla.gnome.org/show_bug.cgi?id=687223 discusses a nicer fix for later.