From 5cdc91ae6bfcaeb559f9849a2f2087196b84eb27 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Tue, 2 Sep 2014 23:46:15 +0200
Subject: grrrrr splitinit patch series

---
 debian/patches/series | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3