2019-05-24 - toolsbeta
11:12	<arturo>	mangle sources.list to handle some apt warnings related to missing repos, etc	[toolsbeta]