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 8a90956..f7719c0 160000 (submodule)
--- a/docs/submodules/so/libs.git
+++ b/docs/submodules/so/libs.git
@@ -1 +1 @@
-Subproject commit 8a90956821744c35a5abc4a992f53c32775f5ae3
+Subproject commit f7719c0f8636d209c6c5c85bb3a14ca0b6e0fd98