Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index d47d0a9..1533cd3 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit d47d0a90e00026faab22db554959322ca2167b6e
+Subproject commit 1533cd3dd96f37295e87927cb57770ab6bb6cbe6