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 1389746..4667e90 160000 (submodule)
--- a/docs/submodules/so/libs.git
+++ b/docs/submodules/so/libs.git
@@ -1 +1 @@
-Subproject commit 1389746c1a81aca1b82a5e1e43d25a2d6e8c9229
+Subproject commit 4667e90557eb0216af7c11bc9c1a3faf487d96bb