1 files changed, 0 insertions, 27 deletions
diff --git a/gnome-base/gnome-menus/files/gnome-menus-3.13.3-multiple-desktop2.patch b/gnome-base/gnome-menus/files/gnome-menus-3.13.3-multiple-desktop2.patch
deleted file mode 100644
index 966b060eac27..000000000000
--- a/gnome-base/gnome-menus/files/gnome-menus-3.13.3-multiple-desktop2.patch
+++ /dev/null
@@ -1,27 +0,0 @@
-From 4befe76fbdb76aa6a986297ef71d1601b2ced42e Mon Sep 17 00:00:00 2001
-From: Josselin Mouette <joss@debian.org>
-Date: Sun, 14 Dec 2014 20:36:36 +0100
-Subject: desktop-entries: fix trivial bug in handling of multiple desktops in
- XDG_CURRENT_DESKTOP.
-
-https://bugzilla.gnome.org/show_bug.cgi?id=741505
----
- libmenu/desktop-entries.c | 2 +-
- 1 file changed, 1 insertion(+), 1 deletion(-)
-
-diff --git a/libmenu/desktop-entries.c b/libmenu/desktop-entries.c
-index bd4f886..a463d79 100644
---- a/libmenu/desktop-entries.c
-+++ b/libmenu/desktop-entries.c
-@@ -97,7 +97,7 @@ get_current_desktops (void)
- 
-       desktops = g_getenv ("XDG_CURRENT_DESKTOP");
- 
--      if (desktops)
-+      if (!desktops)
-         desktops = "";
- 
-       tmp = g_strsplit (desktops, ":", 0);
--- 
-cgit v0.11.2
-