Manually update submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 4bbe60a..86f6253 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 4bbe60a05663bb80ea932aa55ae6fc881d0e8707
+Subproject commit 86f62530f1813152efbcc3d61f85e1fa6c943e36