Build #27 (Aug 13, 2019 6:58:11 PM)

PR #22: Make listen URIs configurable

	No changes.
	GitHub pull request #22 of commit f7bdfd1fb2741a7b99020e10c1f0d3ee1bb60daf, no merge conflicts.