Ubuntu
gnome-shell-extension-mediaplayer package

ubuntu/+source/gnome-shell-extension-mediaplayer:applied/ubuntu/disco-devel

  1. Git
  2. lp:ubuntu/+source/gnome-shell-extension-mediaplayer
  3. applied/ubuntu/disco-devel
Last commit made on 2018-11-15
Get this branch:
git clone -b applied/ubuntu/disco-devel https://git.launchpad.net/ubuntu/+source/gnome-shell-extension-mediaplayer
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/disco-devel
Repository:
lp:ubuntu/+source/gnome-shell-extension-mediaplayer

Recent commits

2c59a05... by Simon McVittie

4.0-1 (patches applied)

Imported using git-ubuntu import.

f2d0f81... by Simon McVittie

4.0-1 (patches unapplied)

Imported using git-ubuntu import.

f3ec26a... by Simon McVittie

3.5+git20181012-1 (patches applied)

Imported using git-ubuntu import.

62d21a9... by Simon McVittie

3.5+git20181012-1 (patches unapplied)

Imported using git-ubuntu import.

fa5e636... by Simon McVittie

3.5-4 (patches applied)

Imported using git-ubuntu import.

2b42564... by Simon McVittie

3.5-4 (patches unapplied)

Imported using git-ubuntu import.

56783d5... by Simon McVittie

Add czech translation (#436)

Gbp-Pq: Add-czech-translation-436.patch.

e25406e... by Simon McVittie

fix

Gbp-Pq: fix-https-github.com-JasonLG1979-gnome-shell-extensions-m.patch.

64fd52f... by Simon McVittie

3.5-3 (patches applied)

Imported using git-ubuntu import.

ff11cf9... by Simon McVittie

3.5-3 (patches unapplied)

Imported using git-ubuntu import.