Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 47635df..be1a6dd 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 47635df0c6d799fb59ef9cf4ad17899e17ccd34d
+Subproject commit be1a6ddb97550e8d03869f112edb88d67c025da1