summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-12-10 13:39:46 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-12-10 13:39:46 +0100
commit77a4c83759d9b74a0466c8ed5cc3fb55fa8123a1 (patch)
tree7f863068a5480ffe9ba274ac50467f944ae0cc9b /debian/patches/series
parentfd015781614b0ee9128f5a05941cf70585596b54 (diff)
drop merged patches
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series6
1 files changed, 1 insertions, 5 deletions
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