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