summaryrefslogtreecommitdiff
path: root/debian/patches/series
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-09-04 11:33:07 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-09-04 11:33:07 +0200
commit3d6c886e3d6f2af65329024d17b37590c146b84f (patch)
tree0bbcfcbee1392330c03d08ab1c9be79995f3a576 /debian/patches/series
parent46484a0546036fab0fee8f96ed17e299c7438570 (diff)
properly fix proxy-defpager
Diffstat (limited to 'debian/patches/series')
-rw-r--r--debian/patches/series3
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/patches/series b/debian/patches/series
index c4084430..320d4036 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -15,7 +15,7 @@ startup-usr-support.patch
tmp_exec_startup.patch
uptime_w_path_fix.patch
stat_round.patch
-proxy-defpager.diff
+#proxy-defpager.diff
#external.patch
external-splitinit.patch
@@ -56,3 +56,4 @@ mount-bind.patch
xkb-compat.patch
mach-defpager-protected-payload.patch
+hurd-make-memory_object-parameter-polymorphic.patch