1 files changed, 7 insertions, 2 deletions
diff --git a/debian/patches/series b/debian/patches/series
index ae00cc74..9a6f4907 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,3 +1,10 @@
+# David Michael's patches
+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
@@ -50,5 +57,3 @@ fix-net_rcv_msg.patch
 0003-trans-fakeroot-fix-error-handling.patch
 0004-libports-avoid-realloc-3-corner-case.patch
 0005-libdiskfs-add-permission-check-to-file_chflags.patch
-david-add-random.patch
-david-fix-mach_debug.patch