summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-09-02 23:46:15 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-09-02 23:46:15 +0200
commit5cdc91ae6bfcaeb559f9849a2f2087196b84eb27 (patch)
tree73e4285b556a00c488d9f1c2bd9425814970332b
parentb228a2e642c73caeabfea682d5d757bb74bc4fe1 (diff)
grrrrr splitinit patch series
-rw-r--r--debian/patches/series2
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/series b/debian/patches/series
index 0afa2a67..cbf555f3 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -61,7 +61,7 @@ mount-bind.patch
### disabled for splitinit
# proc_set_init_task.patch
-newRPC.patch
+# newRPC.patch # xxx probably no longer needed
xkb-compat.patch
mach-defpager-protected-payload.patch