Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index ebe0f02..3101834 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit ebe0f0282c91821f1485b2a9557330a4710d9bc4
+Subproject commit 3101834b333d45277cc6c635c61b102f0d18442c