[tor-commits] [policies/master] Add minutes for the 2018-10-01 meeting.