2018-07-18 - production
07:37	<moritzm>	upgrading tor on radium to 0.3.3.9	[production]