2017-09-25 - production
11:39	<moritzm>	upgrading tor to latest stable release (0.3.1.7)	[production]