Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 06aa143..a3247b8 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 06aa1436e559a60979c3b7c3ec5f569b9517df45
+Subproject commit a3247b8e9ee8fe0215a740bc8729d6afeb116740