From 4f026775aa4a70c00791d2abe1122a032f023841 Mon Sep 17 00:00:00 2001 From: Alessandro Rubini <rubini@gnudd.com> Date: Sun, 26 Jul 2015 10:30:52 +0200 Subject: [PATCH] new ppsi, with prototype cleanup Signed-off-by: Alessandro Rubini <rubini@gnudd.com> --- ppsi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ppsi b/ppsi index f74b1d5..1c33f8a 160000 --- a/ppsi +++ b/ppsi @@ -1 +1 @@ -Subproject commit f74b1d520b3add33177661db801d75a26de7a97d +Subproject commit 1c33f8a1a5f1870c25d4b3948338be1995c9186d -- GitLab