Build #660 (Aug 28, 2020 5:49:16 AM)

PR #3075: doc: fix mismatched link

	No changes.
	GitHub pull request #3075 of commit 9bddc1d120f448965c2bf324a96429773b198703, no merge conflicts.

Configurations