Ubuntu
gnome-shell package

  1. Bug #1740869
  2. Comment #25

Comment 25 for bug 1740869

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

$ apt-cache policy gnome-shell
gnome-shell:
  Installato: 3.28.4-0ubuntu18.04.1
  Candidato: 3.28.4-0ubuntu18.04.1
  Tabella versione:
 *** 3.28.4-0ubuntu18.04.1 100

I confirm the fix works.