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