Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 723a9c4..5211f2e 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 723a9c4ab5647f52f391e6aa329902feeda35370
+Subproject commit 5211f2ed7a4bc239893c7a7db345858e094cfce8