2018-02-15 - tools
12:51	<arturo>	aborrero@tools-webgrid-generic-1401:~$ sudo apt-upgrade -u upgrade trusty-wikimedia	[tools]