Comment 32 for bug 1540461

Probot, I uploaded the fix to the GNOME3 Staging PPA for Ubuntu 16.04 LTS. Give it an hour or so to build and publish. If you want GNOME 3.20, I recommend you upgrade to Ubuntu 16.10. Ubuntu 16.10 fixes more bugs and is better supported than the GNOME3 Staging PPA. Note that you'll need to upgrade about every six months until Ubuntu 18.04 LTS since the non-LTS releases aren't supported for very long.