Build #496 (May 22, 2020 3:47:17 PM)

PR #2927: tool: add option --main-thr...

	No changes.
	GitHub pull request #2927 of commit bf24d7898d9d218a4e5e1a6a5b5e452c2074f9aa, no merge conflicts.

Configurations