summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorXZS2016-04-18 23:28:42 +0200
committerXZS2016-04-18 23:28:42 +0200
commitf408c601d7396782047521c48dec589a225130dd (patch)
treeee2cc6e00bc8c35e6553a6b91380130d7eb2b3f7
parent54bcb38b1e452bd7178b9b985a8339de0cdeb060 (diff)
downloadaur-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--.SRCINFO2
-rw-r--r--PKGBUILD2
2 files changed, 2 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 3e93236e41a9..ccdb1f1a5ae2 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index e955353a4893..cf543d1ba267 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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)