Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 8668df0..7af16ee 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 8668df008ae252d0e43d23ef00c8e350bdb0900b
+Subproject commit 7af16eec7a5ea196de57b47b918d3d88390a715c