880461
diff -urNp devhelp-3.28.1.old/plugins/gedit-plugin/devhelp.plugin.desktop.in devhelp-3.28.1/plugins/gedit-plugin/devhelp.plugin.desktop.in
880461
--- devhelp-3.28.1.old/plugins/gedit-plugin/devhelp.plugin.desktop.in	2018-06-06 19:10:51.608355911 +0100
880461
+++ devhelp-3.28.1/plugins/gedit-plugin/devhelp.plugin.desktop.in	2018-06-06 19:12:25.448057120 +0100
e68a72
@@ -1,5 +1,5 @@
e68a72
 [Plugin]
e68a72
-Loader=python3
e68a72
+Loader=python
e68a72
 Module=devhelp
e68a72
 IAge=3
880461
 Name=Devhelp support