Updated git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index fc8e6f4..12b7ecb 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit fc8e6f439a776a408a947be6adf31ecc7a80e738
+Subproject commit 12b7ecb5cd5f1b8667e1ee0140d241d1d06724de