Comment 2 for bug 2013073

Revision history for this message
Jeremy BĂ­cha (jbicha) wrote :

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