From 1d7cb36e8ebe04f347cb8b9e0e6ff0658d8e80df Mon Sep 17 00:00:00 2001
From: Ricardo Wurmus <rekado@elephly.net>
Date: Tue, 4 Dec 2018 19:06:58 +0100
Subject: [PATCH] gnu: gnome-terminal: Update to 3.30.2.

* gnu/packages/gnome.scm (gnome-terminal): Update to 3.30.2.
---
 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 c71b24614a..9ae2d5fe97 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -2942,7 +2942,7 @@ more fun.")
 (define-public gnome-terminal
   (package
     (name "gnome-terminal")
-    (version "3.28.2")
+    (version "3.30.2")
     (source
      (origin
        (method url-fetch)
@@ -2951,7 +2951,7 @@ more fun.")
                            name "-" version ".tar.xz"))
        (sha256
         (base32
-         "0ybjansg6lr279191w8z8r45gy4rxwzw1ajm98cgkv0fk2jdr0x2"))))
+         "0f2y76gs72sw5l5lkkkvxzsvvwm0sg83h7nl8lk5kz1v1rrc47vb"))))
     (build-system glib-or-gtk-build-system)
     (arguments
      '(#:configure-flags