Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index d0cd4dc..0bac473 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit d0cd4dc3d204e80a7419c97b6b0ec59273984a99
+Subproject commit 0bac473ab80a2f64b85df51dbaf432ecde73341e