Update git submodules

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

diff --git a/docs/submodules/vid.git b/docs/submodules/vid.git
index 9dab9fa..a5ef7f1 160000 (submodule)
--- a/docs/submodules/vid.git
+++ b/docs/submodules/vid.git
@@ -1 +1 @@
-Subproject commit 9dab9fa0a02e19123149e2fe661ec61cac955120
+Subproject commit a5ef7f14f2cdbbbc8de2f8b338f5ef920751d071