Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 32bf08f..ca20de4 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 32bf08f4690bbedd557c7ab409f285839cbff8c0
+Subproject commit ca20de4c8b5fe36d231d3256208d82dfbf470271