Updated git submodules

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

diff --git a/docs/submodules/so/libs.git b/docs/submodules/so/libs.git
index 5524d3b..08ef802 160000 (submodule)
--- a/docs/submodules/so/libs.git
+++ b/docs/submodules/so/libs.git
@@ -1 +1 @@
-Subproject commit 5524d3bbd7ee08768573332365717069fae5c6a0
+Subproject commit 08ef8020d394f84cfb5ae03890c11e0930061f83