2018-02-08 - tools
18:06	<arturo>	aborrero@tools-paws-worker-1019:~$ sudo apt-upgrade upgrade stretch-wikimedia -v	[tools]