Update git submodules

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

diff --git a/docs/submodules/so.git b/docs/submodules/so.git
index 8f2a487..8b02fbc 160000 (submodule)
--- a/docs/submodules/so.git
+++ b/docs/submodules/so.git
@@ -1 +1 @@
-Subproject commit 8f2a4878715e46db24735bb63e14598c5c1e61f8
+Subproject commit 8b02fbc54e6db36d969b233d136f90b8d6615f80