From 7cf8d82bca42a10d3e4aa5f7efe92e338d5aab58 Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Sat, 17 May 2014 10:40:19 +0200
Subject: [PATCH] gnome-terminal: update to 3.12.2.

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

diff --git a/srcpkgs/gnome-terminal/template b/srcpkgs/gnome-terminal/template
index 604b889979..6e6930fbf5 100644
--- a/srcpkgs/gnome-terminal/template
+++ b/srcpkgs/gnome-terminal/template
@@ -1,6 +1,6 @@
 # Template file for 'gnome-terminal'
 pkgname=gnome-terminal
-version=3.12.1
+version=3.12.2
 revision=1
 lib32disabled=yes
 build_style=gnu-configure
@@ -15,4 +15,4 @@ maintainer="Juan RP <xtraeme@gmail.com>"
 homepage="http://www.gnome.org"
 license="GPL-2"
 distfiles="${GNOME_SITE}/$pkgname/${version%.*}/$pkgname-$version.tar.xz"
-checksum=7b68714c63ea6bb6eeeeed574b61f1328a7f7dc34a294d0911e9129d888d56c6
+checksum=ea19ce610af2873d26e1e75491415e17af6a5080366db966f9220fdeea5ebecd