From fd015781614b0ee9128f5a05941cf70585596b54 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Tue, 9 Dec 2014 11:00:35 +0100
Subject: add patch series

---
 debian/patches/series | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'debian/patches/series')

diff --git a/debian/patches/series b/debian/patches/series
index 492399cb..3cda6e14 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -44,3 +44,8 @@ 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
-- 
cgit v1.2.3