Ubuntu
gnome-shell package

Comment 10 for bug 1790996

Revision history for this message

Didier Roche-Tolomelli (didrocks) wrote on 2018-09-10:

#10

Thanks a lot! I was just looking at the same issue and got directed to the bug. The diff is good, I've just sponsored it to cosmic.

Thanks again ;)