From 77a4c83759d9b74a0466c8ed5cc3fb55fa8123a1 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Wed, 10 Dec 2014 13:39:46 +0100
Subject: drop merged patches

---
 debian/patches/series | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'debian/patches/series')

diff --git a/debian/patches/series b/debian/patches/series
index 3cda6e14..ef03f009 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -44,8 +44,4 @@ startup-avoid-broken-puts.patch
 
 pfinet_dhcp.patch
 libports-payloads.patch
-0001-Makeconf-handle-the-task_notify-protocol.patch
-0002-proc-register-for-new-task-notifications.patch
-0003-proc-implement-proc_make_task_namespace.patch
-0004-hurd-add-proc_make_task_namespace.patch
-0005-proc-fix-build.patch
+proc-task-notify-0005-proc-fix-build.patch
-- 
cgit v1.2.3