diff options
Diffstat (limited to 'debian')
-rw-r--r-- | debian/patches/series | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debian/patches/series b/debian/patches/series index 9a6f4907..23364dcf 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -2,9 +2,6 @@ david-add-random.patch david-fix-mach_debug.patch -# Gabriele Giacone's patches -mount-bind.patch - diskfs_no_inherit_dir_group.patch init_try_runsystem.gnu.patch makedev.diff @@ -41,7 +38,10 @@ libdde_pr_cont.patch libdde_rx_queue.patch libdde_rcu.patch mount.patch + +# Gabriele Giacone's patches mount-bind.patch + proc_set_init_task.patch newRPC.patch xkb-compat.patch |