Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 6706ff1..9131b47 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 6706ff14fca4a1f66eb739e45654db5f42fd3c3f
+Subproject commit 9131b47477881cf35f40d0c1c359d18dadf72130