1 files changed, 0 insertions, 11 deletions
diff --git a/debian/patches/series b/debian/patches/series
index 9073166c..37f91a74 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -8,13 +8,7 @@
 0008-startup-bind-the-startup-server-to-servers-startup.patch
 libexec-splitinit.patch
 
-# David Michael's patches
-#david-add-random.patch #half merged
-
 diskfs_no_inherit_dir_group.patch
-
-#init_try_runsystem.gnu.patch
-
 makedev.diff
 pfinet_dhcp.patch
 rc.patch
@@ -61,14 +55,9 @@ mount-bind.patch
 ### disabled for splitinit
 # proc_set_init_task.patch
 
-# newRPC.patch # xxx probably no longer needed
 xkb-compat.patch
 
 mach-defpager-protected-payload.patch
 
 # This is in libmachdev, has been applied in hurd-dde
 fix-net_rcv_msg.patch
-
-#pp.patch
-#pp-dde.patch
-#pp-random.patch