Re: [tor-dev] collector problems since 2015-08-07 18:00?