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