Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index c7fe0ab..5df2935 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit c7fe0ab72153acaed0a83157e4436b44bec3cc2c
+Subproject commit 5df2935557f13e9ea42d9e20d0cef6bf5f06acda