Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 7284d2f..df63fb2 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 7284d2f020cf0daedcb29ed5fd6cfa30cdf2cd8a
+Subproject commit df63fb21c8379f1b371830fcae0217eb1910155a