Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 32464a9..ab5b192 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 32464a960c6d26fa6a3a1bb25475ac2c1b96e829
+Subproject commit ab5b19282e19cbe1f7f44d58afb99e3d8b9ecae3