
<html><head></head><body><div>filed upstream bug against gnome-shell:</div><div><a href="https://bugzilla.gnome.org/show_bug.cgi?id=789858">https://bugzilla.gnome.org/show_bug.cgi?id=789858</a></div></body></html>