Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index d4b0979..7201367 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit d4b09792fff9dc6f84c5cc86cf443aceab3cf193
+Subproject commit 7201367ffb91e915bc443720444507d5c3252775