Build #503 (May 26, 2020 12:14:05 AM)

PR #2930: Implement ISRA detection in...

	No changes.
	GitHub pull request #2930 of commit 50c0f543329e93aa3a1754d4252c314684b04d4f, no merge conflicts.

Configurations