Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 10e989e..3ba5abf 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 10e989e4a8b5ce9d28bd59c1915a7064782691f3
+Subproject commit 3ba5abf2d76c3d76339f67d933c2d095686c99f1