diff options
| author | XZS | 2017-09-28 14:28:04 +0200 |
|---|---|---|
| committer | XZS | 2017-09-28 14:28:04 +0200 |
| commit | 015364ec422fd73e7fe67cd6ebded92d03406381 (patch) | |
| tree | 151d82c3c06594df55f0904d0882e8cb88e50b53 /PKGBUILD | |
| parent | a2f26899fe14fbf5a62abe4fb2256a288cc089af (diff) | |
| download | aur-015364ec422fd73e7fe67cd6ebded92d03406381.tar.gz | |
propagate upstream update
Minor fixups and efficiency improvements, somehow not only increased the
minor version number, but also made the version number components shift
to the left.
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=0.2.6.2 +pkgver=2.7 pkgrel=1 pkgdesc='A mediaplayer indicator for the Gnome Shell' arch=('any') |