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 86220e9..b4edc75 160000 (submodule)
--- a/docs/submodules/so/libs.git
+++ b/docs/submodules/so/libs.git
@@ -1 +1 @@
-Subproject commit 86220e985cfc95c4084790ac1b718a30fb22e961
+Subproject commit b4edc756dedbf09048c26d1a72417be59e9db3c4