Update git submodules

[doc.git] / docs / submodules / integration / benchmark.git

diff --git a/docs/submodules/integration/benchmark.git b/docs/submodules/integration/benchmark.git
index 6866a44..12db7aa 160000 (submodule)
--- a/docs/submodules/integration/benchmark.git
+++ b/docs/submodules/integration/benchmark.git
@@ -1 +1 @@
-Subproject commit 6866a44af9ce04c9a16bfd4c0f028298fb78dd2d
+Subproject commit 12db7aaabe48d58ad9ff3acdfa71b9d0d099b08a