From 0fb6c1ceeae89c1e8147dc8684d535a29800e6fb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E5=AE=8B=E6=96=87=E6=AD=A6?= <iyzsong@gmail.com>
Date: Thu, 7 Apr 2016 07:54:21 +0800
Subject: [PATCH] gnu: gnome-terminal: Update to 3.20.0.

* gnu/packages/gnome.scm (gnome-terminal): Update to 3.20.0.
---
 gnu/packages/gnome.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index 7ca6799fd1..8e1b4b275c 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -2241,7 +2241,7 @@ (define-public gnome-sudoku
 (define-public gnome-terminal
   (package
     (name "gnome-terminal")
-    (version "3.18.2")
+    (version "3.20.0")
     (source
      (origin
        (method url-fetch)
@@ -2250,7 +2250,7 @@ (define-public gnome-terminal
                            name "-" version ".tar.xz"))
        (sha256
         (base32
-         "1ylyv0mla2ypms7iyxndbdjvha0q9jzglb4mhfmqn9cm2gxc0day"))))
+         "0l21xcc2g56wkq83wq5wnrah2gwckqxnfgpqavhkrsd47jyzdrrg"))))
     (build-system glib-or-gtk-build-system)
     (arguments
      '(#:configure-flags