Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 5228933..17413dd 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 522893397d8b07126ab66cbe11a84c798f11643f
+Subproject commit 17413ddf83ba8a51e978b368313cd366d57b1e48