propagate gnome-shell 3.18 compatibility

2 files changed, 2 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index e59c38b9e501..2d54191a0d0e 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = gnome-shell-extension-mediaplayer-git
 	pkgdesc = A mediaplayer indicator for the Gnome Shell
-	pkgver = r508
+	pkgver = r519
 	pkgrel = 1
 	url = https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer
 	install = gschemas.install
diff --git a/PKGBUILD b/PKGBUILD
index bda9820bc1d1..0d680e684761 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=r508
+pkgver=r519
 pkgrel=1
 pkgdesc='A mediaplayer indicator for the Gnome Shell'
 arch=('any')