Build #739 (Nov 5, 2020 4:27:52 PM)

PR #3156: Add kernel versioning for t...

	No changes.
	GitHub pull request #3156 of commit 7354425408caa9405d534ebd024a0e871be570fe, no merge conflicts.

Configurations