Ubuntu
mutter package

  1. Bug #1795774
  2. Comment #14

Comment 14 for bug 1795774

Revision history for this message
Gert van de Kraats (gkraats) wrote :

Problem could not be reproduced, because it was hidden by bug #1795774.

After installation from proposed, the problem was solved:

root@gert-laptop:/etc/apt# dpkg -s libmutter-2-0 | grep Version
Version: 3.28.3+git20190124-0ubuntu18.04.2