Ubuntu
gnome-shell package

  1. Bug #1820331
  2. Comment #10

Comment 10 for bug 1820331

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

Fix committed via Debian:

mutter (3.32.0+git20190410-1) experimental; urgency=medium