debian/patches:/ Fix 1001_fix-mate-wm-script.patch. Drop set -x for debugging.

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