Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 0772e88..980aa7b 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 0772e8876fa155fd93b7abb5816a6d9a040aa7f6
+Subproject commit 980aa7b6d011d4760a82033189a0b116fedb9613