Updated git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index b636486..e413894 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit b63648653dfaafa34a9d978e695a8b0be1408eb5
+Subproject commit e4138949b0c7e4d5e6146f463fb47471ebfb6162