Bug#705527: gedit-plugins: Plugin External Tools not working

Jeremy Bicha jbicha at ubuntu.com
Tue Aug 6 03:14:41 UTC 2013

Previous message: Bug#705527: gedit-plugins: Plugin External Tools not working
Next message: Bug#705527: gedit-plugins: Plugin External Tools not working
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

gedit and gedit-plugins 3.8.3 have just been uploaded to unstable. Can
you still reproduce this bug with those versions?

Thanks,
Jeremy

Previous message: Bug#705527: gedit-plugins: Plugin External Tools not working
Next message: Bug#705527: gedit-plugins: Plugin External Tools not working
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pkg-gnome-maintainers mailing list