Processed: tagging 940612, tagging 940612 ...

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tags 940612 + upstream
Bug #940612 [gnome-shell] gnome-shell: JS ERROR: TypeError: Clutter.Animates is undefined
Added tag(s) upstream.
> tags 940612 + fixed-upstream
Bug #940612 [gnome-shell] gnome-shell: JS ERROR: TypeError: Clutter.Animates is undefined
Added tag(s) fixed-upstream.
> forwarded 940612 https://gitlab.gnome.org/GNOME/gnome-shell/issues/1616
Bug #940612 [gnome-shell] gnome-shell: JS ERROR: TypeError: Clutter.Animates is undefined
Set Bug forwarded-to-address to 'https://gitlab.gnome.org/GNOME/gnome-shell/issues/1616'.
> thanks
Stopping processing here.

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