Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 55271a1..f239be0 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 55271a1679d0b070a090692af1c970872407b66f
+Subproject commit f239be089f523a016cf52f723638c060f899978f