Update git submodules

[doc.git] / docs / submodules / so.git

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index d329015..3f005fb 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit d329015449b429f9b4dcced679a6e4e09b9e2430
+Subproject commit 3f005fb08d51b839920c90d3c8fc9843c489429d