Build #53 (Aug 16, 2019 5:58:20 PM)

PR #2496: Update reference_guide.md

	No changes.
	GitHub pull request #2496 of commit e102514589bfb2519dcd9345fd30868956f85275, no merge conflicts.

Configurations