The proposal to merge ~vanvugt/ubuntu/+source/gnome-shell:fix-lp1813119-disco
into ~ubuntu-desktop/ubuntu/+source/gnome-shell:ubuntu/master has been updated.
Status: Needs review => Merged
For more details, see:
https://code.launchpad.net/~vanvugt/ubuntu/+source/gnome-shell/+git/gnome-shell/+merge/363831
--
Your team Ubuntu Desktop is subscribed to branch
~ubuntu-desktop/ubuntu/+source/gnome-shell:ubuntu/master.
--
ubuntu-desktop mailing list
ubuntu-desktop@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-desktop
