Hello! It looks like the gnome 3 ppa (ie. ppa:gnome3-team/gnome3) hasn't been updated in a while. Since Ubuntu 18.04 will ship with a mix of gnome 3.28 and 3.26 packages I wonder if the ppa will contain the missing pieces of gnome 3.28?
Regards, Simon -- Ubuntu-GNOME mailing list Ubuntu-GNOME@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-gnome