Ubuntu
gnome-shell package

  1. Bug #1880586
  2. Comment #2

Comment 2 for bug 1880586

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

Fix released in mutter 42, now in Ubuntu 22.04.