#22143: Implement May 3 updates to diff format in prop140 -------------------------------+------------------------------------ Reporter: nickm | Owner: nickm Type: defect | Status: assigned Priority: Medium | Milestone: Tor: 0.3.1.x-final Component: Core Tor/Tor | Version: Severity: Normal | Resolution: Keywords: TorCoreTeam201705 | Actual Points: Parent ID: #13339 | Points: 1 Reviewer: | Sponsor: Sponsor4-must -------------------------------+------------------------------------ Changes (by ahf):
* cc: ahf (added) -- Ticket URL: <https://trac.torproject.org/projects/tor/ticket/22143#comment:2> 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