From ad6e42beeec907381e0a4611035efd2f039a3d96 Mon Sep 17 00:00:00 2001
From: Juan RP <xtraeme@gmail.com>
Date: Mon, 1 Apr 2013 16:18:34 +0200
Subject: [PATCH] gnome-terminal: update to 3.8.0.1.

---
 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 0d0c46592de..862ea37aba7 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.8.0
+version=3.8.0.1
 revision=1
 build_style=gnu-configure
 hostmakedepends="which pkg-config intltool itstool gnome-doc-utils"
@@ -12,4 +12,4 @@ maintainer="Juan RP <xtraeme@gmail.com>"
 homepage="http://www.gnome.org"
 license="GPL-2"
 distfiles="${GNOME_SITE}/$pkgname/3.8/$pkgname-$version.tar.xz"
-checksum=93ef1e5bf1f59c2178cb9b9b754eddabd68094f04aeefdf22bb1c263d0126ea3
+checksum=b9218598ff4cf24ad317160d37d463f9823519295ac4de7417139c43958c565e