Updated git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 98d48a4..23c7215 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 98d48a4b34f07ac40fddd2254b78b9ea84f88fa3
+Subproject commit 23c7215c93bb0a992874b1a199391cfa5bebfcec