diff options
| -rw-r--r-- | debian/patches/series | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/debian/patches/series b/debian/patches/series index 352df123..9073166c 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,3 +1,11 @@ +0001-libdiskfs-fix-servers-exec-lookup.patch +0002-Add-proc_set_init_task-make-runsystem-pid-1.patch +0003-startup-rename-hurd-init-to-hurd-startup.patch +0004-init-add-a-minimalist-init-program.patch +0005-startup-do-not-pass-signals-on-to-the-child.patch +0006-startup-be-more-specific-in-the-shutdown-message.patch +0007-startup-fix-the-declaration-of-the-_server-functions.patch +0008-startup-bind-the-startup-server-to-servers-startup.patch libexec-splitinit.patch # David Michael's patches @@ -64,11 +72,3 @@ fix-net_rcv_msg.patch #pp.patch #pp-dde.patch #pp-random.patch -0001-libdiskfs-fix-servers-exec-lookup.patch -0002-Add-proc_set_init_task-make-runsystem-pid-1.patch -0003-startup-rename-hurd-init-to-hurd-startup.patch -0004-init-add-a-minimalist-init-program.patch -0005-startup-do-not-pass-signals-on-to-the-child.patch -0006-startup-be-more-specific-in-the-shutdown-message.patch -0007-startup-fix-the-declaration-of-the-_server-functions.patch -0008-startup-bind-the-startup-server-to-servers-startup.patch |