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