Updated git submodules

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

diff --git a/docs/submodules/so/libs.git b/docs/submodules/so/libs.git
index 7631ccf..a9bc456 160000 (submodule)
--- a/docs/submodules/so/libs.git
+++ b/docs/submodules/so/libs.git
@@ -1 +1 @@
-Subproject commit 7631ccf856ab4e739bd9e9bb5ac6f7985f5a37ec
+Subproject commit a9bc456b0de6ad5158665f960e4860269544ce46