#22172: prop140: What to do when a diff fails to apply? --------------------------+------------------------------------ Reporter: nickm | Owner: nickm Type: defect | Status: accepted Priority: Medium | Milestone: Tor: 0.3.1.x-final Component: Core Tor/Tor | Version: Severity: Normal | Resolution: Keywords: | Actual Points: Parent ID: #13339 | Points: Reviewer: | Sponsor: Sponsor4 --------------------------+------------------------------------ Changes (by nickm):
* owner: => nickm * status: new => accepted -- Ticket URL: <https://trac.torproject.org/projects/tor/ticket/22172#comment:1> Tor Bug Tracker & Wiki <https://trac.torproject.org/> The Tor Project: anonymity online _______________________________________________ tor-bugs mailing list tor-bugs@lists.torproject.org https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs