Updated git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index a0652c4..b238e08 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit a0652c47e1dc06e4e91857072c2701ced9bcacc3
+Subproject commit b238e088461b9e3b39362410e5770e57f5a7fe42