Ubuntu
mutter package

  1. Bug #1915025
  2. Comment #1

Comment 1 for bug 1915025

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

Marco,

Maybe also cherry pick the fix for bug 1880405? It's a doozy.