Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 1ad915f..a1f8a0c 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 1ad915ff0a4678d6a5f918f39ea42c18b620f7bb
+Subproject commit a1f8a0c1ce64e90653397c5ce8d4949fe0244d07