Processed: Re: Bug#851943: missing library link for gnome-shell

[Debian Bug Tracking System]

Processing control commands:

> reassign -1 gnome-shell
Bug #851943 [mutter] missing library link for gnome-shell
Bug reassigned from package 'mutter' to 'gnome-shell'.
No longer marked as found in versions mutter/3.22.2-3.
Ignoring request to alter fixed versions of bug #851943 to the same values previously set
> forcemerge -1 851925
Bug #851943 [gnome-shell] missing library link for gnome-shell
Bug #851925 [gnome-shell] libmutter-cogl.so: cannot open shared object file: No such file or directory
Unset Bug forwarded-to-address
Severity set to 'important' from 'grave'
Bug #851943 [gnome-shell] missing library link for gnome-shell
Marked as found in versions gnome-shell/3.22.2-2.
Merged 851925 851943

-- 
851925: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=851925
851943: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=851943
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems