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 a3a6033..efdc7c5 160000 (submodule)
--- a/docs/submodules/so/libs.git
+++ b/docs/submodules/so/libs.git
@@ -1 +1 @@
-Subproject commit a3a60330829f9a47495185c865c8078dad116ac9
+Subproject commit efdc7c5697a5c3d1ccff4fe730e73cefcf694215