Update git submodules

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

diff --git a/docs/submodules/policy/distribution.git b/docs/submodules/policy/distribution.git
index 9255568..b5f4934 160000 (submodule)
--- a/docs/submodules/policy/distribution.git
+++ b/docs/submodules/policy/distribution.git
@@ -1 +1 @@
-Subproject commit 9255568baf91af0065a5fea1963d19ecfcf90f7a
+Subproject commit b5f4934afdc2601c925e83458d0e3d136c36cf1c