Update git submodules

[doc.git] / docs / submodules / so / libs.git

diff --git a/docs/submodules/so/libs.git b/docs/submodules/so/libs.git
index 3f9a0c3..9a2470a 160000 (submodule)
--- a/docs/submodules/so/libs.git
+++ b/docs/submodules/so/libs.git
@@ -1 +1 @@
-Subproject commit 3f9a0c3183480d150089c0d5a6e507c877f7d121
+Subproject commit 9a2470a315a0f31f79c49eeebc93a8e2bcb42c1e