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 6228fe2..9ac00f7 160000 (submodule)
--- a/docs/submodules/so/libs.git
+++ b/docs/submodules/so/libs.git
@@ -1 +1 @@
-Subproject commit 6228fe2c25252c930f507ccc889cb581ca2aad51
+Subproject commit 9ac00f70f99e55d476aa6626ed0de9305f27a38e