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 2542055..87b6420 160000 (submodule)
--- a/docs/submodules/policy/engine.git
+++ b/docs/submodules/policy/engine.git
@@ -1 +1 @@
-Subproject commit 2542055ec3d3f25f482b0123ce4b273bba7592f3
+Subproject commit 87b642029080fbbacfb06daba15104f988ab6be0