Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 15b9f3c..0851fa8 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 15b9f3c6cbb69a243e4fd98add2cc2aebe83daf4
+Subproject commit 0851fa868eb8cf7dd5ba121ecc5de58cb7631898