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 d7218db..93f4809 160000 (submodule)
--- a/docs/submodules/so/libs.git
+++ b/docs/submodules/so/libs.git
@@ -1 +1 @@
-Subproject commit d7218db1247c9129c06fde271cd09661acbd2c42
+Subproject commit 93f480949c9b0babd4f10d7b0e47f5c23b9b6b88