1 files changed, 0 insertions, 29 deletions
diff --git a/debian/patches/exec_fix.patch b/debian/patches/exec_fix.patch
deleted file mode 100644
index 2d53678a..00000000
--- a/debian/patches/exec_fix.patch
+++ /dev/null
@@ -1,29 +0,0 @@
-Fixes long-standing random hang of exec.
-
-2009-05-25  Samuel Thibault  <samuel.thibault@ens-lyon.org>
-
-	* exec.c (finish): Set FILE_DATA and MAP_BUFFER members of E to NULL
-	after freeing them.
-
----
- exec/exec.c |    7 +++++--
- 1 file changed, 5 insertions(+), 2 deletions(-)
-
---- a/exec/exec.c
-+++ b/exec/exec.c
-@@ -1008,10 +1008,13 @@ finish (struct execdata *e, int dealloc_
- #ifdef EXECDATA_STREAM
-       fclose (&e->stream);
- #else
--      if (e->file_data != NULL)
-+      if (e->file_data != NULL) {
- 	free (e->file_data);
--      else if (map_buffer (e) != NULL)
-+	e->file_data = NULL;
-+      } else if (map_buffer (e) != NULL) {
- 	munmap (map_buffer (e), map_vsize (e));
-+	map_buffer (e) = NULL;
-+      }
- #endif
-     }
-   if (dealloc_file && e->file != MACH_PORT_NULL)