userspace/ppsi: pick a version that sets system time

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

userspace/ppsi: pick a version that sets system time
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
d1f405a9 · Alessandro Rubini · 0098a6bb · 52fda5e9
Commit d1f405a9 authored Dec 05, 2014 by Alessandro Rubini
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

ppsi userspace/ppsi +1 -1

No files found.
--- a/ppsi @ 52fda5e9
+++ b/ppsi @ 52fda5e9
-Subproject commit bcf8a85699469236d404902be280899a168a22d5
+Subproject commit 52fda5e90fd10e42f867b8c21a5fd9e42fb2dbfd