2017-12-21 - production
07:21	<marostegui>	Upgrade MariaDB on db1100	[production]