[tor-commits] [tor/master] Add changes file for 8712; apply it to HSDir flag as well.