Upstream report is showing "RESOLVED FIXED" on 2018-07-21
Reporter no longer uses Launchpad but did say on the upstream
report that the bug was longer being seen with gnome-shell 3.28
Works ok here using Ubuntu 18.04 (gnome-shell 3.28.3) so closing as fixed.
Upstream report is showing "RESOLVED FIXED" on 2018-07-21
Reporter no longer uses Launchpad but did say on the upstream
report that the bug was longer being seen with gnome-shell 3.28
Works ok here using Ubuntu 18.04 (gnome-shell 3.28.3) so closing as fixed.