Updated git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 1fd78f9..5e140fa 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 1fd78f9f440dd4327587920e2140199fcf79d826
+Subproject commit 5e140faf2fd8a3774a710a1c391b20b5d2dc6ac2