diff options
| author | XZS | 2017-09-28 14:28:13 +0200 |
|---|---|---|
| committer | XZS | 2017-09-28 14:28:13 +0200 |
| commit | 4e134500874c1e8096c33cde1556cbae37e1c155 (patch) | |
| tree | 32b69d0b8b570fe0e9ed8686bdbce142fc6b63c7 /PKGBUILD | |
| parent | 4ec4c16a3cfb98fdda3b5619ad739fb3ea9136c6 (diff) | |
| download | aur-4e134500874c1e8096c33cde1556cbae37e1c155.tar.gz | |
propagate upstream update
The stop button can now be enabled again. Also, player compatibility
improved, Bugs were fixed and log messages removed.
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -5,7 +5,7 @@ # You may find it convenient to file issues and pull requests there. pkgname=gnome-shell-extension-mediaplayer-git -pkgver=2.7.3 +pkgver=2.7.4 pkgrel=1 pkgdesc='A mediaplayer indicator for the Gnome Shell' arch=('any') |