Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 205f358..8e42b4e 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 205f358c6e06726de738b0c7706ec1c3c94afeaa
+Subproject commit 8e42b4e3fd9c00d73d371ccdbe2147733821bb56