2017-12-05 - production
11:58	<marostegui>	Upgrade MariaDB and kernel on db1076	[production]