diff options
| author | XZS | 2018-09-17 17:16:08 +0200 |
|---|---|---|
| committer | XZS | 2018-09-17 17:16:08 +0200 |
| commit | 266c30d69c7945e21a2ba59ff4a8ee4bcef27251 (patch) | |
| tree | 49915bef8056642033ece05c6309565255f50092 | |
| parent | 9017161842fb707b5763e09be17a4a9a090549f4 (diff) | |
| download | aur-266c30d69c7945e21a2ba59ff4a8ee4bcef27251.tar.gz | |
propagate upstream update
The changes in this version deal with problems stemming from
modifications done to the Ubuntu version of gnome-shell. These are
either introduced by patches only included in the Ubuntu variant or
incompatibilities to other extensions Ubuntu includes by default. As
some Arch Users may want to use the Ubuntu version and compatibility
with other extensions is improved, the changes are worth shipping out to
them, too.
Version 59 was again withdrawn from review by the author, jumping
directly to 60.
| -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 = 58 + pkgver = 60 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=58 +pkgver=60 pkgrel=1 pkgdesc="Configure the Activities Button via the Gnome Shell Extension Preferences Tool." arch=(any) |