Updated git submodules

[doc.git] / docs / submodules / so / libs.git

diff --git a/docs/submodules/so/libs.git b/docs/submodules/so/libs.git
index 05ac166..f71f1cc 160000 (submodule)
--- a/docs/submodules/so/libs.git
+++ b/docs/submodules/so/libs.git
@@ -1 +1 @@
-Subproject commit 05ac1667ec8690ab6a7623938f2d9a462e07aaec
+Subproject commit f71f1cc49b06cd3e89801db2ed7c24d28547da52