Ubuntu
gnome-shell package

~vanvugt/ubuntu/+source/gnome-shell:fix-lp1813119-disco

  1. Git
  2. lp:~vanvugt/ubuntu/+source/gnome-shell
  3. fix-lp1813119-disco
Last commit made on 2019-03-01
Get this branch:
git clone -b fix-lp1813119-disco https://git.launchpad.net/~vanvugt/ubuntu/+source/gnome-shell
Only Daniel van Vugt can upload to this branch. If you are Daniel van Vugt please log in for upload directions.

Branch merges

Branch information

Name:
fix-lp1813119-disco
Repository:
lp:~vanvugt/ubuntu/+source/gnome-shell

Recent commits

c14508e... by Daniel van Vugt

Update ubuntu/background_login.patch to match disco theme

Fixes LP: #1813119

3773d54... by Iain Lane

Finalise changelog

51b3ca2... by Iain Lane

Update changelog

3720bb3... by Iain Lane

Bump ubuntu-dock Breaks version; we need to update for this shell

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

debian/changelog: add new revision changes

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

debian/patches: refresh and rebase with latest version

59cd945... by Marco Trevisan (Treviño)

Merge 'salsa/debian/master' into ubuntu/master

Fixes LP: #1772677, LP: #1812266, LP: #1745032, LP: #1812266

0a5beed... by Iain Lane

Update & finalise changelog

b63a4ab... by Iain Lane

control: Bump libmutter-dev version to 3.31.90, per upstream

41d2ce0... by Marco Trevisan (Treviño)

debian/control: set breaks on dash-to-panel and dashtodock extensions