From e9d7ec79422b25cfa62070a40f6f961412879087 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Thu, 20 Nov 2014 22:03:34 +0100
Subject: drop old patch series

---
 debian/patches/series | 14 --------------
 1 file changed, 14 deletions(-)

(limited to 'debian/patches/series')

diff --git a/debian/patches/series b/debian/patches/series
index 68d7fb27..cfa5c51f 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -58,17 +58,3 @@ startup-avoid-broken-puts.patch
 
 
 mach-defpager-fix-build.patch
-0001-Makeconf-handle-the-gnumach-protocol.patch
-0002-proc-gracefully-handle-failure-to-increase-priority.patch
-0003-startup-also-open-console-for-reading.patch
-0004-boot-drop-bootstrap-compat-code.patch
-0005-boot-remove-unused-function-boot_script_read_file.patch
-0006-boot-drop-obsolete-device-procedures.patch
-0007-boot-support-ds_device_get_status-with-flavor-DEV_GE.patch
-0008-boot-implement-pseudo-time-device.patch
-0009-boot-improve-the-demuxer.patch
-0010-Makeconf-handle-the-task_notify-protocol.patch
-0011-proc-register-for-new-task-notifications.patch
-0012-proc-implement-proc_make_task_namespace.patch
-0013-hurd-add-proc_make_task_namespace.patch
-0014-proc-fix-build.patch
-- 
cgit v1.2.3