#22143: Implement May 3 updates to diff format in prop140
-------------------------------+------------------------------------
Reporter: nickm | Owner: nickm
Type: defect | Status: merge_ready
Priority: Medium | Milestone: Tor: 0.3.1.x-final
Component: Core Tor/Tor | Version:
Severity: Normal | Resolution:
Keywords: TorCoreTeam201705 | Actual Points: .3
Parent ID: #13339 | Points: 1
Reviewer: | Sponsor: Sponsor4-must
-------------------------------+------------------------------------
Changes (by ahf):
* status: needs_review => merge_ready
Comment:
Looks good. Two minor comments and one of them might already be in the
pipeline.
--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/22143#comment:5>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
_______________________________________________
tor-bugs mailing list
tor-bugs@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs