Update git submodules

[doc.git] / docs / submodules / policy / engine.git

diff --git a/docs/submodules/policy/engine.git b/docs/submodules/policy/engine.git
index 99fad3e..9347099 160000 (submodule)
--- a/docs/submodules/policy/engine.git
+++ b/docs/submodules/policy/engine.git
@@ -1 +1 @@
-Subproject commit 99fad3e83f8282299e59077d8826362990c695a9
+Subproject commit 9347099fc35e87bc73a876d781102d4db8c0201e