Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 02c068c..a5325db 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 02c068ce771ee4522936f2d15f41c2b631e965a8
+Subproject commit a5325db88ce1f7d9daebfe1bd40e1bf5f928f68a