Processing commands for cont...@bugs.debian.org: > unarchive 768134 Bug #768134 {Done: Pietro Battiston <m...@pietrobattiston.it>} [gedit-latex-plugin] Plugin does not work with gedit > 3.8 Unarchived Bug 768134 > unarchive 770153 > unblock 768134 by 770153 Bug #768134 {Done: Pietro Battiston <m...@pietrobattiston.it>} [gedit-latex-plugin] Plugin does not work with gedit > 3.8 768134 was blocked by: 770153 768134 was not blocking any bugs. Removed blocking bug(s) of 768134: 770153 > merge 822852 770153 Bug #822852 [gedit] gedit-latex-plugin: Activation of the plugin makes gedit segfault on startup Bug #822852 [gedit] gedit-latex-plugin: Activation of the plugin makes gedit segfault on startup Marked as found in versions gedit/3.14.0-2. Added tag(s) upstream and fixed-upstream. Bug #770153 [gedit] gedit segfaults when one tries to extend "tools-section" after extending "preferences-section" Merged 770153 822852 > archive 768134 Bug #768134 {Done: Pietro Battiston <m...@pietrobattiston.it>} [gedit-latex-plugin] Plugin does not work with gedit > 3.8 archived 768134 to archive/34 (from 768134) > thanks Stopping processing here.
Please contact me if you need assistance. -- 768134: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=768134 770153: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=770153 822852: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=822852 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems