From 18fc209c79dc8724f4558842c59e0b7860cd9c0e Mon Sep 17 00:00:00 2001
From: Bernhard Landauer <oberon@manjaro.org>
Date: Wed, 31 Jan 2018 11:18:45 +0100
Subject: [PATCH] [cinnamon] gnome-terminal-fedora

---
 community/cinnamon/Packages-Desktop | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/community/cinnamon/Packages-Desktop b/community/cinnamon/Packages-Desktop
index 8b37bf69..61ed4569 100644
--- a/community/cinnamon/Packages-Desktop
+++ b/community/cinnamon/Packages-Desktop
@@ -29,7 +29,7 @@ gnome-keyring
 >extra gnome-screenshot
 gnome-system-log
 gnome-system-monitor
-gnome-terminal
+gnome-terminal-fedora
 gnome-themes-standard
 >extra gparted
 >extra gprename