1 files changed, 0 insertions, 33 deletions
diff --git a/debian/patches/0002-startup-give-the-tasks-we-create-a-name.patch b/debian/patches/0002-startup-give-the-tasks-we-create-a-name.patch
deleted file mode 100644
index 6fa71755..00000000
--- a/debian/patches/0002-startup-give-the-tasks-we-create-a-name.patch
+++ /dev/null
@@ -1,33 +0,0 @@
-From 522370cfcd2dde29dac73e1479d64a6af614cc25 Mon Sep 17 00:00:00 2001
-From: Justus Winter <4winter@informatik.uni-hamburg.de>
-Date: Fri, 9 Jan 2015 11:06:52 +0100
-Subject: [PATCH hurd 02/11] startup: give the tasks we create a name
-
-* startup/startup.c (run): Name the tasks we start.
----
- startup/startup.c | 2 ++
- 1 file changed, 2 insertions(+)
-
-diff --git a/startup/startup.c b/startup/startup.c
-index 601c894..c9fe215 100644
---- a/startup/startup.c
-+++ b/startup/startup.c
-@@ -33,6 +33,7 @@
- #include <sys/file.h>
- #include <unistd.h>
- #include <string.h>
-+#include <mach/gnumach.h>
- #include <mach/notify.h>
- #include <stdlib.h>
- #include <hurd/msg.h>
-@@ -376,6 +377,7 @@ run (const char *server, mach_port_t *ports, task_t *task)
- 	      printf ("Pausing for %s\n", prog);
- 	      getchar ();
- 	    }
-+          task_set_name (*task, (char *) prog);
- 	  err = file_exec (file, *task, 0,
- 			   (char *)prog, strlen (prog) + 1, /* Args.  */
- 			   startup_envz, startup_envz_len,
--- 
-2.1.4
-