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 b70eb77..941cec7 160000 (submodule)
--- a/docs/submodules/so/libs.git
+++ b/docs/submodules/so/libs.git
@@ -1 +1 @@
-Subproject commit b70eb774541732408d5afb3e5dee9acc478c4d1b
+Subproject commit 941cec72fab2f3cf3973e572ff2479943240d1f3