From 5f29bcde79b5dd3d608af66528238ab974e28734 Mon Sep 17 00:00:00 2001
From: Mike Gabriel <mike.gabriel@das-netzwerkteam.de>
Date: Fri, 6 Jul 2018 15:09:36 +0200
Subject: [PATCH] debian/patches:/ Fix 1001_fix-mate-wm-script.patch. Drop set
 -x for debugging.

---
 debian/patches/1001_fix-mate-wm-script.patch | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/debian/patches/1001_fix-mate-wm-script.patch b/debian/patches/1001_fix-mate-wm-script.patch
index 2bf4434..a44e01a 100644
--- a/debian/patches/1001_fix-mate-wm-script.patch
+++ b/debian/patches/1001_fix-mate-wm-script.patch
@@ -3,15 +3,7 @@ Author: Mike Gabriel <mike.gabriel@das-netzwerkteam.de>
 
 --- a/data/mate-wm
 +++ b/data/mate-wm
-@@ -1,5 +1,7 @@
- #!/bin/sh
- 
-+set -x
-+
- # The user can specify his prefered WM by setting the WINDOW_MANAGER
- # environment variable.
- #
-@@ -42,7 +44,7 @@
+@@ -42,7 +42,7 @@
  
  # WINDOW_MANAGER overrides all
  if [ -z "$WINDOW_MANAGER" ] ; then