~vanvugt/ubuntu/+source/gnome-shell: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 on 2019-03-01

Update ubuntu/background_login.patch to match disco theme

Fixes LP: #1813119

3773d54... by Iain Lane on 2019-02-21

Finalise changelog

51b3ca2... by Iain Lane on 2019-02-21

Update changelog

3720bb3... by Iain Lane on 2019-02-21

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

ad4776c... by Marco Trevisan (Treviño) on 2019-02-21

debian/changelog: add new revision changes

c5474fd... by Marco Trevisan (Treviño) on 2019-02-21

debian/patches: refresh and rebase with latest version

59cd945... by Marco Trevisan (Treviño) on 2019-02-21

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

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

0a5beed... by Iain Lane on 2019-02-21

Update & finalise changelog

b63a4ab... by Iain Lane on 2019-02-21

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

41d2ce0... by Marco Trevisan (Treviño) on 2019-02-20

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