Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index e4578f5..9edafb1 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit e4578f5e7170d6f38c8cc82416048ee0b570f7bf
+Subproject commit 9edafb151611bff4ede7cac785582cc9cd586006