Processed: [patch] bug 708559 is forwarded to https://bugzilla.gnome.org/show_bug.cgi?id=747280

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> forwarded 708559 https://bugzilla.gnome.org/show_bug.cgi?id=747280
Bug #708559 [libgtk2.0-0] libgtk2.0-0: Pidgin crashes due to error in gtk_tray_icon_manager_filter
Set Bug forwarded-to-address to 'https://bugzilla.gnome.org/show_bug.cgi?id=747280'.
> tags 708559 +patch
Bug #708559 [libgtk2.0-0] libgtk2.0-0: Pidgin crashes due to error in gtk_tray_icon_manager_filter
Added tag(s) patch.
> thanks
Stopping processing here.

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