Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 11b3ac5..3b0019a 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 11b3ac5fc12e98123cc3ae44a2becbc7e0d493ce
+Subproject commit 3b0019a08a5eb405c7df00958b1b90e2d91b98d1