diff options
author | XZS | 2017-09-28 14:28:08 +0200 |
---|---|---|
committer | XZS | 2017-09-28 14:28:08 +0200 |
commit | 7ffbca9d06ad7879e10a843cbcf014036ef28b05 (patch) | |
tree | f9cb9fba16c74a909857669452c04d18300fb3d7 /PKGBUILD | |
parent | dca0367d5878d75fd5c79e786041443424dd7293 (diff) | |
download | aur-7ffbca9d06ad7879e10a843cbcf014036ef28b05.tar.gz |
propagate upstream update
Animations were fixed and improved.
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.1 +pkgver=2.7.2 pkgrel=1 pkgdesc='A mediaplayer indicator for the Gnome Shell' arch=('any') |