[tor-bugs] #22143 [Core Tor/Tor]: Implement May 3 updates to diff format in prop140
Tor Bug Tracker & Wiki
blackhole at torproject.org
Thu May 4 12:37:22 UTC 2017
#22143: Implement May 3 updates to diff format in prop140
-------------------------------+------------------------------------
Reporter: nickm | Owner: nickm
Type: defect | Status: closed
Priority: Medium | Milestone: Tor: 0.3.1.x-final
Component: Core Tor/Tor | Version:
Severity: Normal | Resolution: fixed
Keywords: TorCoreTeam201705 | Actual Points: .3
Parent ID: #13339 | Points: 1
Reviewer: | Sponsor: Sponsor4-must
-------------------------------+------------------------------------
Changes (by nickm):
* status: merge_ready => closed
* resolution: => fixed
Comment:
Fixed those and merged.
--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/22143#comment:6>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
More information about the tor-bugs
mailing list