Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index cd0748e..8813ba7 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit cd0748e0dc1b509062b7c69a4ef11f2d354f81a7
+Subproject commit 8813ba72c340e45f586b71c9ee12382cdecec91f