Processed: Fix available

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tags 857290 + patch upstream
Bug #857290 [gnome-shell-extensions] Alternatetab makes gnome-shell segfault when window closes while switching
Added tag(s) upstream and patch.
> reassign 857290 gnome-shell
Bug #857290 [gnome-shell-extensions] Alternatetab makes gnome-shell segfault when window closes while switching
Bug reassigned from package 'gnome-shell-extensions' to 'gnome-shell'.
No longer marked as found in versions gnome-shell-extensions/3.22.2-1.
Ignoring request to alter fixed versions of bug #857290 to the same values previously set
> forwarded 857290 https://bugzilla.gnome.org/show_bug.cgi?id=779483
Bug #857290 [gnome-shell] Alternatetab makes gnome-shell segfault when window closes while switching
Set Bug forwarded-to-address to 'https://bugzilla.gnome.org/show_bug.cgi?id=779483'.
> thanks
Stopping processing here.

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