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 e153f0a..3f9a0c3 160000 (submodule)
--- a/docs/submodules/so/libs.git
+++ b/docs/submodules/so/libs.git
@@ -1 +1 @@
-Subproject commit e153f0adfbed711ce1e215748594a4d04fd1edaf
+Subproject commit 3f9a0c3183480d150089c0d5a6e507c877f7d121