Build #106 (Nov 3, 2019 3:37:41 PM)

PR #2584: fix typos in tutorial.md

	No changes.
	GitHub pull request #2584 of commit 71a310315fd1d6306bc75cb486c0b74180b29e8c, no merge conflicts.

Configurations