2017-12-11 - tools
19:32	<bd808>	git gc on tools-static-11; --aggressive was killed by system (T182604)	[tools]