summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-06-17 13:40:54 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-06-17 13:40:54 +0200
commite98655b2755931d9efd9797ee71ee8feffd1fcf6 (patch)
tree6ff218f95bf2c39f31791c00c895b2dbe24ad084 /debian
parent5eb85f31969d6254a0daf04ede317f4a7f577236 (diff)
fix series, i already added mount-bind.patch...
Diffstat (limited to 'debian')
-rw-r--r--debian/patches/series6
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