Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 39eef5d..ce19da3 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 39eef5d57370e16d878dfe969c49accfac6233b3
+Subproject commit ce19da38780453d5e3d945d958948fe2d02c50b4