Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 8892816..8f2a487 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 8892816fc723206eaf3ce96228f87838d9528e82
+Subproject commit 8f2a4878715e46db24735bb63e14598c5c1e61f8