Update git submodules

[docs.git] / docs / submodules / infrautils

diff --git a/docs/submodules/infrautils b/docs/submodules/infrautils
index 12a7ea4638bd36636d2c60afa3cd87c0a7a0060e..7c6fe03471c36a69e46277220faf359d545279dd 160000 (submodule)
--- a/docs/submodules/infrautils
+++ b/docs/submodules/infrautils
@@ -1 +1 @@
-Subproject commit 12a7ea4638bd36636d2c60afa3cd87c0a7a0060e
+Subproject commit 7c6fe03471c36a69e46277220faf359d545279dd