Build #494 (May 22, 2020 5:14:37 AM)

PR #2926: Spelling

	No changes.
	GitHub pull request #2926 of commit c3e62ea09051f676864d0943040c87a0bacd4168, no merge conflicts.

Configurations