Ubuntu
gnome-shell package

  1. Bug #1872434
  2. Comment #8

Comment 8 for bug 1872434

Revision history for this message
Chris Johnston (cjohnston) wrote :

It looks like this is possibly already Fix Released? Per #6 it was added to 3.36.1-5ubuntu1 which is older than what I have installed:

cjohnston@lp1872434:~$ apt-cache policy gnome-shell
gnome-shell:
  Installed: 3.36.1-5ubuntu2
  Candidate: 3.36.1-5ubuntu2