Ubuntu
gnome-shell package

  1. Bug #1724557
  2. Comment #30

Comment 30 for bug 1724557

Revision history for this message
Marco Trevisan (Treviño) (3v1n0) wrote :

@wdoekes

Can you also attach [6] to that bug, or better, propose a merge proposal on mutter gitlab for that?