Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 5f4c4f3..94e4a51 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 5f4c4f3f3215eb136f9c4f84f51dc8fcd5fe0353
+Subproject commit 94e4a51acd5c9dbb390770ba3c8b4148ba63153b