Processed: Re: Bug#904031: gnome-shell is not opening: JS LOG: pushModal: invocation of begin_modal failed

Processing control commands: > severity -1 important Bug #904031 [gnome-shell] gnome-shell is not opening: JS LOG: pushModal: invocation of begin_modal failed Severity set to 'important' from 'grave' > tags -1 + unreproducible Bug #904031 [gnome-shell] gnome-shell is not opening: JS LOG: pushModa

Processed: Re: Bug#904031: gnome-shell is not opening

Processing control commands: > tags -1 + moreinfo Bug #904031 [gnome-shell] gnome-shell is not opening Added tag(s) moreinfo. -- 904031: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=904031 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems