From fa60f7d21db0ef614dba106f406c11a5c1002b69 Mon Sep 17 00:00:00 2001
From: Holger Vogt <holger.vogt@uni-due.de>
Date: Mon, 27 Aug 2018 21:20:19 +0200
Subject: [PATCH] avoid memory leak in X11

---
 src/frontend/misccoms.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/frontend/misccoms.c b/src/frontend/misccoms.c
index 7f57d5243..c795c6675 100644
--- a/src/frontend/misccoms.c
+++ b/src/frontend/misccoms.c
@@ -99,8 +99,9 @@ com_quit(wordlist *wl)
     }
 #endif
 
-    DevSwitch(NULL);
-    DevSwitch(NULL);
+/* remove because of memory leak in X11 */
+/*    DevSwitch(NULL);
+    DevSwitch(NULL);*/
 
     /* then go away */