Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 66781db..80dafe7 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 66781db64d1839f283ce99278393f2c65baf9263
+Subproject commit 80dafe76d022b6ac97f490a6f54f1e4838cdf1c8