#30 (Oct 13, 2020, 6:51:29 AM)

PR #139: Bump junit from 4.12 to 4.1...

	No changes.
	GitHub pull request #139 of commit 68bc6c8292f9cdf03d8fdc4759526d4bc1f8d1fa, no merge conflicts.