Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index f39f996..e13b7b2 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit f39f99626d9eae25d13b313cdcf908f91c042496
+Subproject commit e13b7b2b54a213b746494b910dd052335f5335bb