Build #498 (May 23, 2020 12:39:06 AM)

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

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

Configurations