Build #1020 (Jun 4, 2021 7:08:55 AM)

PR #3471: Add an option to strip lead...

	No changes.
	GitHub pull request #3471 of commit 56ae9c5b362dce734e23e722081b93067b789de5, no merge conflicts.

Configurations