2018-11-13 - tools
17:40	<arturo>	remove misctools 1.31 and jobutils 1.30 from the stretch-tools repo (T207970)	[tools]