Updated git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 406b20c..6f025db 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 406b20cb001cd435cc4fe263b24c8bca453248da
+Subproject commit 6f025dbcb86fe48f83c2a3214d0db3d4dcb13bbd