Processing commands for cont...@bugs.debian.org: > close 941007 3.34.0-3 Bug #941007 [gedit-plugins] Gedit plugin codecomment cannot be enabled (Namespace GtkSource is already loaded with version 4) Marked as fixed in versions gedit-plugins/3.34.0-3. Bug #941007 [gedit-plugins] Gedit plugin codecomment cannot be enabled (Namespace GtkSource is already loaded with version 4) Marked Bug as done > thanks Stopping processing here.
Please contact me if you need assistance. -- 941007: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=941007 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
