Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 4c81727..edaf71b 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 4c81727a226d80c4ac07df61302dca3540f507d0
+Subproject commit edaf71b6d2988253d2f0b43273268c14c14d788d