Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 4b7ebd2..80d6f1e 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 4b7ebd265366542ec872869e9ec0016a88e879b1
+Subproject commit 80d6f1e8135d48d2293bf025eabc5d6736bf63f5