diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-06-17 13:40:54 +0200 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-06-17 13:40:54 +0200 |
commit | e98655b2755931d9efd9797ee71ee8feffd1fcf6 (patch) | |
tree | 6ff218f95bf2c39f31791c00c895b2dbe24ad084 /debian | |
parent | 5eb85f31969d6254a0daf04ede317f4a7f577236 (diff) |
fix series, i already added mount-bind.patch...
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 |