Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 42b399e..6cd85cc 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 42b399ea943940ef1e37c267a9aea03b5f01f2d0
+Subproject commit 6cd85ccdda04348cda55e6710907ed72c9431352