Update git submodules

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

diff --git a/docs/submodules/vid.git b/docs/submodules/vid.git
index 943d158..12b7509 160000 (submodule)
--- a/docs/submodules/vid.git
+++ b/docs/submodules/vid.git
@@ -1 +1 @@
-Subproject commit 943d158b18264860870887f7b5a78bf41036ad10
+Subproject commit 12b7509555b1932b90ed7889d62b100557b603eb