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 48d3624..f31f8ce 160000 (submodule)
--- a/docs/submodules/so/libs.git
+++ b/docs/submodules/so/libs.git
@@ -1 +1 @@
-Subproject commit 48d3624fdf93d88f299e8b116ec7ee9c254450d7
+Subproject commit f31f8ce722efcb2465d290cc3755c258ef2857af