[tor-commits] [tor/master] Ticket #11291: patch from "anon":