Update git submodules

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

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