From 397d0923f858611e3b253e6ff092cf5fd4290e98 Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Sat, 17 May 2014 10:28:01 +0200
Subject: [PATCH] gnome-shell-extensions: update to 3.12.2.

---
 srcpkgs/gnome-shell-extensions/template | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/srcpkgs/gnome-shell-extensions/template b/srcpkgs/gnome-shell-extensions/template
index 118bfa2439..9d10601aa6 100644
--- a/srcpkgs/gnome-shell-extensions/template
+++ b/srcpkgs/gnome-shell-extensions/template
@@ -1,6 +1,6 @@
 # Template file for 'gnome-shell-extensions'
 pkgname=gnome-shell-extensions
-version=3.12.0
+version=3.12.2
 revision=1
 noarch="yes"
 build_style=gnu-configure
@@ -13,4 +13,4 @@ maintainer="Juan RP <xtraeme@gmail.com>"
 homepage="http://live.gnome.org/GnomeShell/Extensions"
 license="GPL-2"
 distfiles="${GNOME_SITE}/$pkgname/${version%.*}/$pkgname-$version.tar.xz"
-checksum=75f5d4c0c7081466fe3cdb8252b8ba4bec821aec4185c1ca72fc9fa10601ee58
+checksum=30ba6e4792062e5a5cdd18e4a12230e68bfed1ded7de433ad241dd75e7ae2fc6