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

[Simon McVittie]

Control: severity -1 important
Control: tags -1 + unreproducible

On Tue, 07 Aug 2018 at 09:05:10 +0100, Simon McVittie wrote:
> Sorry, we are unlikely to be able to solve a bug with only this amount
> of information.

GNOME appears to work for the majority of its users, and there isn't
enough information here to make progress, so I'm downgrading this to a
non-release-critical severity.

    smcv