This bug was fixed in the package gnome-shell - 42.9-0ubuntu2
--------------- gnome-shell (42.9-0ubuntu2) jammy; urgency=medium
* New upstream release (LP: #2023913) * debian/control.in: Bump minimum mutter to 42.9
-- Jeremy Bícha <email address hidden> Wed, 14 Jun 2023 15:35:33 -0400
This bug was fixed in the package gnome-shell - 42.9-0ubuntu2
---------------
gnome-shell (42.9-0ubuntu2) jammy; urgency=medium
* New upstream release (LP: #2023913)
* debian/control.in: Bump minimum mutter to 42.9
-- Jeremy Bícha <email address hidden> Wed, 14 Jun 2023 15:35:33 -0400