Processed: Re: Bug#851925: gnome-shell: gdm3 not starting

[Debian Bug Tracking System]

Processing control commands:

> severity 851925 grave
Bug #851925 [gnome-shell] libmutter-cogl.so: cannot open shared object file: No such file or directory
Bug #851943 [gnome-shell] missing library link for gnome-shell
Severity set to 'grave' from 'important'
Severity set to 'grave' from 'important'
> tags 851925 + pending
Bug #851925 [gnome-shell] libmutter-cogl.so: cannot open shared object file: No such file or directory
Bug #851943 [gnome-shell] missing library link for gnome-shell
Added tag(s) pending.
Added tag(s) pending.

-- 
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