diff options
author | XZS | 2018-09-17 17:16:49 +0200 |
---|---|---|
committer | XZS | 2018-09-17 17:16:49 +0200 |
commit | 62a648240803c942f97d905e2e447ccf830760c1 (patch) | |
tree | 937402b3941f4387ae3815ef397a7f7983d3b113 | |
parent | 1b4b364f8408c40700f291d7b59d80d2d89a8c6e (diff) | |
download | aur-62a648240803c942f97d905e2e447ccf830760c1.tar.gz |
propagate upstream update
The extension was declared compatible with gnome-shell version 3.28.
Version 63 was indeed released, but with no other change apart from the
change in version number. Shipping it out to the AUR would have
triggered an update without any gain, which was thus deemed unnecessary
to bother users with.
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -1,6 +1,6 @@ pkgbase = gnome-shell-extension-activities-config pkgdesc = Configure the Activities Button via the Gnome Shell Extension Preferences Tool. - pkgver = 62 + pkgver = 64 pkgrel = 1 url = https://extensions.gnome.org/extension/358/activities-configurator/ install = gschemas.install @@ -3,7 +3,7 @@ # You may find it convenient to file issues and pull requests there. pkgname=gnome-shell-extension-activities-config -pkgver=62 +pkgver=64 pkgrel=1 pkgdesc="Configure the Activities Button via the Gnome Shell Extension Preferences Tool." arch=(any) |