File 0001-profile-Fix-dummy-settings-patch.patch of Package gnome-terminal

From 3de426475c0096c9ef4ea1806fb9380db3914603 Mon Sep 17 00:00:00 2001
From: Christian Persch <chpe@gnome.org>
Date: Sat, 15 Feb 2014 15:42:02 +0100
Subject: [PATCH] profile: Fix dummy settings patch

Fixes crash when cloning a profile.

https://retrace.fedoraproject.org/faf/problems/1433130/
https://bugzilla.gnome.org/show_bug.cgi?id=724264
(cherry picked from commit 512e4bbf467d1eab91bba86dcd27f8852fc00273)

Conflicts:
	src/terminal-settings-list.c
---
 src/terminal-settings-list.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/terminal-settings-list.c b/src/terminal-settings-list.c
index 7c7667c..b8b1921 100644
--- a/src/terminal-settings-list.c
+++ b/src/terminal-settings-list.c
@@ -289,7 +289,7 @@ clone_child (TerminalSettingsList *list,
 
   /* FIXME: this is beyond ugly. Need API on GSettingsSchema to list all the keys! */
   {
-    GSettings *dummy = g_settings_new_with_path (list->child_schema_id, "/foo");
+    GSettings *dummy = g_settings_new_with_path (list->child_schema_id, "/foo/");
     keys = g_settings_list_keys (dummy);
     g_object_unref (dummy);
   }
-- 
1.8.4