Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index e386b18..7223180 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit e386b185fd13548a43bfd258dabda4093a9254bd
+Subproject commit 7223180206b466248afa5330640365b13d760a3d