Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 7321d01..f9dbea7 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 7321d01bda3524066d5a76276a4511554b7a4062
+Subproject commit f9dbea7f086b673b170d940118b1583fc2979bf1