The upstream Merge Request was merged, however a new gnome-shell release won't most likely happen in time before Ubuntu 20.04 is released so this still needs to be patched downstream in Ubuntu.
The upstream Merge Request was merged, however a new gnome-shell release won't most likely happen in time before Ubuntu 20.04 is released so this still needs to be patched downstream in Ubuntu.