Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index dd5fdf5..0514d12 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit dd5fdf5d895c5682ddcb796238513a4de7147dc4
+Subproject commit 0514d12f76335aa3bf3cfccaef3864fd91a54444