Update git submodules
[doc.git] / docs / submodules / so / libs.git
index c4c4bbd..720654d 160000 (submodule)
@@ -1 +1 @@
-Subproject commit c4c4bbdcb8409b73f694d763be9fa49158346e01
+Subproject commit 720654dcb4ec033cf16892d1aa730100f057ff61