Build #128 (Nov 17, 2019 5:18:33 AM)

PR #2599: docs/reference_guide.md: up...

	No changes.
	GitHub pull request #2599 of commit 1d43bfb39b7ca0aea0d876ea1784ea0c2ec8b597, no merge conflicts.

Configurations