Ubuntu
gnome-shell package

  1. Bionic (18.04)
  2. Bug #1774957
  3. Comment #30

Comment 30 for bug 1774957

Revision history for this message
Marco Ferretti (marco-ferretti) wrote :

Hi Daniel,

will install the patch later today and let you know.

Thanks for pointing me to a possible solution (I completely missed it).