2018-11-16 - tools
13:36	<gtirloni>	rebooted tools-static-12 and tools-static-13 after package upgrades	[tools]