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 ad12923..9cf72ce 160000 (submodule)
--- a/docs/submodules/so/libs.git
+++ b/docs/submodules/so/libs.git
@@ -1 +1 @@
-Subproject commit ad129232e3afb713170a5b45b6fd2fec371848bb
+Subproject commit 9cf72ced6cba4ba7326ceaf34887c212a301b0df