diff --git a/docs/submodules/integration.git b/docs/submodules/integration.git
index 7d140fd..712febd 160000
--- a/docs/submodules/integration.git
+++ b/docs/submodules/integration.git
@@ -1 +1 @@
-Subproject commit 7d140fdfdffbd54bcc1dfcd7ba7762daa74017b3
+Subproject commit 712febd76b825dfe3466d637b3cea5f74193859e