[tor-commits] [tor/master] Fix another case of bug 8206; patch from flupzor