Updated git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 581e8f8..8894d0b 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 581e8f851a163fca42a1bf3175afa5707a0677fe
+Subproject commit 8894d0ba0209034e6db8e6f046e515ca90bc4550