Ubuntu
gnome-shell package

~ubuntu-desktop/ubuntu/+source/gnome-shell:ubuntu/disco

  1. Git
  2. lp:~ubuntu-desktop/ubuntu/+source/gnome-shell
  3. ubuntu/disco
Last commit made on 2019-06-27
Get this branch:
git clone -b ubuntu/disco https://git.launchpad.net/~ubuntu-desktop/ubuntu/+source/gnome-shell
Members of Ubuntu Desktop can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
ubuntu/disco
Repository:
lp:~ubuntu-desktop/ubuntu/+source/gnome-shell

Recent commits

35d1fce... by Iain Lane

Finalise changelog

05c8615... by Iain Lane

Update changelog

1192d94... by Iain Lane

Merge tag 'ubuntu/3.32.2-2ubuntu1' into ubuntu/disco

gnome-shell Debian release 3.32.2-2ubuntu1

9bacb50... by Iain Lane

Finalise changelog

ff8da40... by Iain Lane

Update changelog

795d013... by Iain Lane

Merge tag 'debian/3.32.2-2' into ubuntu/master

gnome-shell Debian release 3.32.2-2

ca23978... by Iain Lane

Finalise changelog

285ed22... by Marco Trevisan (Treviño)

debian/changelog: include patch changes

0dea64f... by Marco Trevisan (Treviño)

debian/patches: Avoid crash on reallocation of dead actors

LP: #1831555

cd56cb5... by Marco Trevisan (Treviño)

debian/changelog: update with changes to apport hook