Build #437 (Apr 18, 2020 9:45:10 PM)

PR #2870: add attribute readers to cl...

	No changes.
	GitHub pull request #2870 of commit f524764475c04e6c96439f8ed43aabb610edeefd, no merge conflicts.

Configurations