Ubuntu
mutter package

  1. Bug #1809407
  2. Comment #62

Comment 62 for bug 1809407

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

There appear to be no bug reports from 18.04 either.

Although I could make a patch for 18.04, it would never get released unless someone was able to reproduce the bug and verify it.