Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 65d71e9..152fb54 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 65d71e97406a9a9b1c56475855f1d2e59adeec81
+Subproject commit 152fb54b77e845e9e0aa7b6295442f1e8c2c3e1f