Ubuntu
gnome-shell package

  1. Bug #1747566
  2. Comment #9

Comment 9 for bug 1747566

Revision history for this message
SimonWerner (simonwerner) wrote :

Thanks for fixing/maintaining this package!!! Really appreciate it. I can confirm this bug is squashed.