Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index a2df406..ed47e15 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit a2df406852f02374c81afc8231639c7cb482f10e
+Subproject commit ed47e15530f2fdb82a3bbf879885d5ac02347344