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