~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

Some recent commit information could not be fetched.