Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 5df2935..b46f3f3 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 5df2935557f13e9ea42d9e20d0cef6bf5f06acda
+Subproject commit b46f3f3d4d2c80ded0f6f78a9a463bf5ec6353a3