Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index fc70cd2..ebff4ef 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit fc70cd22f3557540f76559c794a1516785e56151
+Subproject commit ebff4ef04bbd786ced77b121420ce23b8a6f0a7c