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 e5de6ed..3e92848 160000 (submodule)
--- a/docs/submodules/so/libs.git
+++ b/docs/submodules/so/libs.git
@@ -1 +1 @@
-Subproject commit e5de6ed328d1c52025913bf589b860065fb1b4e8
+Subproject commit 3e9284886aeaefd749a8a09060490f4e3007fe8b