From 72c5ccb509c7faf65b5ee40bbd55c6ecf7ef18eb Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Tue, 24 Jun 2014 12:30:22 +0200
Subject: [PATCH] gnome-terminal: update to 3.12.3.

---
 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 6e6930fbf5..1626c465e2 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.2
+version=3.12.3
 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=ea19ce610af2873d26e1e75491415e17af6a5080366db966f9220fdeea5ebecd
+checksum=8450da259fb485289d61fdbe5b59037be068e0dbdd5c7dd8216b60cd49d55528