summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorXZS2016-03-23 21:06:11 +0100
committerXZS2016-03-23 21:06:11 +0100
commit82953166daa452b8915209b3112cd0b4d7ef2162 (patch)
tree9cdc994968fd50b254cd006c24acaebd4c683f35 /PKGBUILD
parent6b52e3a8185dedcd0f454f2c79543613a7a24260 (diff)
downloadaur-82953166daa452b8915209b3112cd0b4d7ef2162.tar.gz
propagate upstream update
Apart from translation updates, the intellihide machinery has been optimized. The extension can now also be active with full screen windows and supports the upcoming gnome-shell version 3.20. Fortunately, the same dash-to-dock release applies to gnome-shell 3.18 and 3.20 as well. This saves the hassle of rewriting the code that extracts the download link from the webpage and provides the hopeful perspective that transition will be effortless when the next stable shell version hits the Arch Linux repositories.
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD2
1 files changed, 1 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 5cb98360b81..efe00229598 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -6,7 +6,7 @@
# You may find it convenient to file issues and pull requests there.
pkgname=gnome-shell-extension-dash-to-dock
-pkgver=50
+pkgver=53
pkgrel=1
pkgdesc="move the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops"
arch=('any')