summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorXZS2016-02-15 21:45:01 +0100
committerXZS2016-02-15 21:45:01 +0100
commitbc364f983b5e319823797083ab09a32b5c4a31d8 (patch)
tree9967a7b5d03bb57be7e6af63d5592b5d9d3ef95a
parent2594572ba224586aca91f9a2fdbeecc6641c7b5f (diff)
downloadaur-bc364f983b5e319823797083ab09a32b5c4a31d8.tar.gz
propagate upstream update
A recent commit fixed display of the correct track position after seek. This is a good opportunity to push out the last few commits that mostly clear out bugs and update translations.
-rw-r--r--.SRCINFO6
-rw-r--r--PKGBUILD2
2 files changed, 4 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 44ea2efd6d2..2f9d2bd9966 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
# Generated by mksrcinfo v8
-# Sun Feb 7 15:16:35 UTC 2016
+# Mon Feb 15 20:44:56 UTC 2016
pkgbase = gnome-shell-extension-mediaplayer-git
pkgdesc = A mediaplayer indicator for the Gnome Shell
- pkgver = r519
+ pkgver = r545
pkgrel = 1
url = https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer
install = gschemas.install
@@ -13,7 +13,7 @@ pkgbase = gnome-shell-extension-mediaplayer-git
makedepends = git
depends = gnome-shell
optdepends = mpdris2-git: MPD support
- provides = gnome-shell-extension-mediaplayer=r519
+ provides = gnome-shell-extension-mediaplayer=r545
conflicts = gnome-shell-extension-mediaplayer
source = gnome-shell-extension-mediaplayer::git+https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer
md5sums = SKIP
diff --git a/PKGBUILD b/PKGBUILD
index ca47f2bec0a..7d9b1515bfb 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -5,7 +5,7 @@
# You may find it convenient to file issues and pull requests there.
pkgname=gnome-shell-extension-mediaplayer-git
-pkgver=r519
+pkgver=r545
pkgrel=1
pkgdesc='A mediaplayer indicator for the Gnome Shell'
arch=('any')