Processing commands for [email protected]: > close 723978 3.10.1-1 Bug #723978 [gedit-plugins] gedit-plugins: embedded terminal doesn't work anymore on version 3.8.3 Marked as fixed in versions gedit-plugins/3.10.1-1. Bug #723978 [gedit-plugins] gedit-plugins: embedded terminal doesn't work anymore on version 3.8.3 Marked Bug as done > thanks Stopping processing here.
Please contact me if you need assistance. -- 723978: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=723978 Debian Bug Tracking System Contact [email protected] with problems -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
