summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorXZS2017-09-28 14:29:15 +0200
committerXZS2017-09-28 14:34:28 +0200
commit4d32da93542c6d07f9152715b41bf284b3f5d9ab (patch)
tree768fca276b0c3402b245f2d3b37e848f1a428159
parentda90fd9c90aafe0bb4682a04f6ac30bb3d504aa8 (diff)
downloadaur-4d32da93542c6d07f9152715b41bf284b3f5d9ab.tar.gz
propagate upstream update
There now is a new dedicated icon, an about dialog and the round buttons can be enabled again.
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD4
2 files changed, 5 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 5ea54633d94..382ca8fac86 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = gnome-shell-extension-mediaplayer-git
pkgdesc = A mediaplayer indicator for the Gnome Shell
- pkgver = 3.0
- pkgrel = 2
+ pkgver = 3.1
+ pkgrel = 1
url = https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer
install = gschemas.install
arch = any
@@ -11,7 +11,7 @@ pkgbase = gnome-shell-extension-mediaplayer-git
makedepends = git
depends = gnome-shell
optdepends = mpdris2: MPD support
- provides = gnome-shell-extension-mediaplayer=3.0
+ provides = gnome-shell-extension-mediaplayer=3.1
conflicts = gnome-shell-extension-mediaplayer
source = gnome-shell-extension-mediaplayer::git+https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer
md5sums = SKIP
diff --git a/PKGBUILD b/PKGBUILD
index a60cc8a9603..a4458b169c2 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -6,8 +6,8 @@
# You may find it convenient to file issues and pull requests there.
pkgname=gnome-shell-extension-mediaplayer-git
-pkgver=3.0
-pkgrel=2
+pkgver=3.1
+pkgrel=1
pkgdesc='A mediaplayer indicator for the Gnome Shell'
arch=('any')
url='https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer'