Comment 6 for bug 1607663

Sadly no, we switched to Unity for new deployments due to other issues. I currently do not run Gnome anymore on Ubuntu 16.04 :( But from looking at the diff, the patch should be okay -- when I tried it I actually symlinked it to see if it actually fixes it.