2020-08-12 - releng
17:00	<James_F>	Run CiviCRM tests on PHP 7.3 only	[releng]