diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-09-04 11:33:07 +0200 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-09-04 11:33:07 +0200 |
commit | 3d6c886e3d6f2af65329024d17b37590c146b84f (patch) | |
tree | 0bbcfcbee1392330c03d08ab1c9be79995f3a576 /debian/patches/series | |
parent | 46484a0546036fab0fee8f96ed17e299c7438570 (diff) |
properly fix proxy-defpager
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 3 |
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 |