Ubuntu
gnome-shell package

Bug #1690719
Comment #143

Comment 143 for bug 1690719

Revision history for this message

In bugzilla.gnome.org/ #745032, Taddeo Manzi (sinistristradali) wrote on 2018-08-03:

#143

RE-EDIT: I was super wrong. These changes really made some steps forward.