One more library update

No real changes, just a merge with maint-rm48.

diff --git a/rpp/lib b/rpp/lib
index 9e6cadb17d1a3b8c7a12144e92057a0e17a3b5a6..b256e4425290b4d1220d8b173dd116e12041ccad 160000 (submodule)
--- a/rpp/lib
+++ b/rpp/lib
@@ -1 +1 @@
-Subproject commit 9e6cadb17d1a3b8c7a12144e92057a0e17a3b5a6
+Subproject commit b256e4425290b4d1220d8b173dd116e12041ccad