Update git submodules

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

diff --git a/docs/submodules/so/libs.git b/docs/submodules/so/libs.git
index ab5c67f..671a522 160000 (submodule)
--- a/docs/submodules/so/libs.git
+++ b/docs/submodules/so/libs.git
@@ -1 +1 @@
-Subproject commit ab5c67fd92a68f9cd7ea251e2a1ba4e866ac6ba8
+Subproject commit 671a5221c55186b1d60b1af67dae2c570cbf7c6b