[tor-commits] [chutney/master] Merge branch 'tor-termination'