diff options
author | XZS | 2016-04-18 23:28:42 +0200 |
---|---|---|
committer | XZS | 2016-04-18 23:28:42 +0200 |
commit | f408c601d7396782047521c48dec589a225130dd (patch) | |
tree | ee2cc6e00bc8c35e6553a6b91380130d7eb2b3f7 | |
parent | 54bcb38b1e452bd7178b9b985a8339de0cdeb060 (diff) | |
download | aur-f408c601d7396782047521c48dec589a225130dd.tar.gz |
propagate upstream update
In combination with the dash-to-dock extension, rounded corners intended
to be hidden showed up again. This happens no longer with this version.
Version 41 was withdrawn from review from the author, jumping directly
to 42 with a better variant of the same fix.
-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 with the Activities Configurator Extension and the Gnome Shell Extension Preferences Tool. - pkgver = 40 + pkgver = 42 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=40 +pkgver=42 pkgrel=1 pkgdesc="Configure the Activities Button with the Activities Configurator Extension and the Gnome Shell Extension Preferences Tool." arch=(any) |