[gnome-continuous] manifest: Tag gnome-terminal

[Emmanuele Bassi <ebassi src gnome org>]

commit d99744a31c3678a3dc2d917337b86d2329542bd6
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Sun Oct 4 14:27:50 2015 +0100

    manifest: Tag gnome-terminal
    
    It's using a missing GTK symbol.

 manifest.json |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index d3bab8f..10efe9a 100644
--- a/manifest.json
+++ b/manifest.json
@@ -1126,6 +1126,8 @@
                "patches": ["behave-buildsys.patch"]},
 
                {"src": "gnome:gnome-terminal",
+                 "tag": "9ce642509b67d8140641a8e99cde44979d2e676c",
+                 "tag-reason": "Wrong symbol",
                 "config-opts": ["--without-nautilus-extension", "--without-pcre2"]},
 
                {"src": "gnome:gnome-clocks"},