Update git submodules

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

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