Processed: Re: Bug#719025: gedit crashes when closing a tab/file

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 719025 gedit-plugins
Bug #719025 [gedit] gedit crashes when closing a tab/file
Bug reassigned from package 'gedit' to 'gedit-plugins'.
No longer marked as found in versions gedit/3.8.3-3.
Ignoring request to alter fixed versions of bug #719025 to the same values previously set
> severity 719025 important
Bug #719025 [gedit-plugins] gedit crashes when closing a tab/file
Severity set to 'important' from 'grave'
> found 719025 3.8.3-1
Bug #719025 [gedit-plugins] gedit crashes when closing a tab/file
Marked as found in versions gedit-plugins/3.8.3-1.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
719025: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=719025
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems