#21376: add javadoc metrics style -------------------------+------------------------------ Reporter: iwakeh | Owner: metrics-team Type: enhancement | Status: closed Priority: Medium | Milestone: Component: Metrics | Version: Severity: Normal | Resolution: fixed Keywords: | Actual Points: Parent ID: | Points: Reviewer: | Sponsor: -------------------------+------------------------------ Changes (by karsten):
* status: assigned => closed * resolution: => fixed Comment: Great, thanks for the confirmation! I just cherry-picked the two commits and pushed them to metrics-base master. Closing. Thanks! -- Ticket URL: <https://trac.torproject.org/projects/tor/ticket/21376#comment:9> 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