-
Matthias Clasen authored
This might fix the crash in yelp that some people continue to see. https://bugzilla.gnome.org/show_bug.cgi?id=762887
eff97fd5
This might fix the crash in yelp that some people continue to see. https://bugzilla.gnome.org/show_bug.cgi?id=762887