Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 2ded41a..15b9f3c 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 2ded41a112f4a70b4488b5887ba366d159ea76a4
+Subproject commit 15b9f3c6cbb69a243e4fd98add2cc2aebe83daf4