Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index f239be0..a3b0c74 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit f239be089f523a016cf52f723638c060f899978f
+Subproject commit a3b0c74345d2dbf981d49493ef498e28e867a144