Merge "Minor corrections"

diff --git a/docs/submodules/releng b/docs/submodules/releng
index f555ded..2fa156f 160000 (submodule)
--- a/docs/submodules/releng
+++ b/docs/submodules/releng
@@ -1 +1 @@
-Subproject commit f555dedcc0197e0fd08bbccff2aef72ebb8c0d68
+Subproject commit 2fa156fcf1a730e8e839ded5ebdd09dd0d31b94c