Build #765 (Dec 29, 2020 7:04:06 PM)

PR #3201: fixing build when ENABLE_CL...

	No changes.
	GitHub pull request #3201 of commit f8aaec1a4052a8a14bb1b823b7ddb42299dbeee2, no merge conflicts.

Configurations