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 84b3969..a5c64f2 160000 (submodule)
--- a/docs/submodules/so/libs.git
+++ b/docs/submodules/so/libs.git
@@ -1 +1 @@
-Subproject commit 84b3969c3661a62447ff406abf21ddc004ff673a
+Subproject commit a5c64f249297b8473c436b9cb995ce9339c88fdf