Build #502 (May 25, 2020 11:51:58 PM)

PR #2930: Implement ISRA detection in...

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

Configurations