Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 3101834..cdf3028 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 3101834b333d45277cc6c635c61b102f0d18442c
+Subproject commit cdf30280fcb6c682ce5a0b1d9ae66fc8ea4c4069