Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 466bc45..7b4a874 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 466bc45cde6b405dbd9ab71b6ca8059a98ba9fa6
+Subproject commit 7b4a8742c8ed874b436025d4f7bea43ffbf03805