2017-04-20 - production
14:32	<moritzm>	upgrading tor on radium to 0.2.9.10	[production]