I've cherry-picked that commit to our Ubuntu packaging git repo for inclusion in our next gnome-shell upload.
I've cherry-picked that commit to our Ubuntu packaging git repo for inclusion in our next gnome-shell upload.