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 720654d..c0a1515 160000 (submodule)
--- a/docs/submodules/so/libs.git
+++ b/docs/submodules/so/libs.git
@@ -1 +1 @@
-Subproject commit 720654dcb4ec033cf16892d1aa730100f057ff61
+Subproject commit c0a1515f05edb10daa92b08ebe86668d0309d196