Build #144 (Nov 25, 2019 6:33:37 AM)

PR #2611: docs: update helper functio...

	No changes.
	GitHub pull request #2611 of commit 76de7ec89e906aaedf288d495e543da921df829a, no merge conflicts.

Configurations