2018-02-08 - tools
18:35	<arturo>	aborrero@tools-worker-1002:~$ sudo apt-upgrade -u upgrade jessie-wikimedia -v	[tools]