2020-04-07 - releng
10:11	<Lucas_WMDE>	manually killed a Jenkins job for a gate-and-submit of a non-latest patch set	[releng]