Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index c3c1f3c..1212fa1 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit c3c1f3c20a87cf927d666ee72801619395c0466e
+Subproject commit 1212fa1a4b33c76d5cc01ebd1cc438a3e3bc433a