Comment 3 for bug 1725153

I've tested these packages from proposed, boot is fine now. I can choose xork or Wayland from gdm
Thanks a lot

apt policy gnome-shell
gnome-shell:
  Installé : 3.26.1-0ubuntu5
  Candidat : 3.26.1-0ubuntu5
 Table de version :
 *** 3.26.1-0ubuntu5 500
        500 http://archive.ubuntu.com/ubuntu artful-proposed/main amd64 Packages
        100 /var/lib/dpkg/status
     3.26.1-0ubuntu4 500
        500 http://archive.ubuntu.com/ubuntu artful/main amd64 Packages

apt policy mutter
mutter:
  Installé : 3.26.1-2ubuntu2
  Candidat : 3.26.1-2ubuntu2
 Table de version :
 *** 3.26.1-2ubuntu2 500
        500 http://archive.ubuntu.com/ubuntu artful-proposed/main amd64 Packages
        100 /var/lib/dpkg/status
     3.26.1-2ubuntu1 500
        500 http://archive.ubuntu.com/ubuntu artful/main amd64 Packages