[Author Prev][Author Next][Thread Prev][Thread Next][Author Index][Thread Index]
Re: [tor-bugs] #21535 [Metrics]: Use Java 7's diamond operator wherever possible
#21535: Use Java 7's diamond operator wherever possible
-------------------------+------------------------------
Reporter: karsten | Owner: metrics-team
Type: enhancement | Status: needs_review
Priority: Medium | Milestone:
Component: Metrics | Version:
Severity: Normal | Resolution:
Keywords: | Actual Points:
Parent ID: | Points:
Reviewer: | Sponsor:
-------------------------+------------------------------
Comment (by karsten):
Replying to [comment:2 iwakeh]:
> Yes, good idea, little by little thing get done!
>
> ExoneraTor is ready to merge.
Merged. Thanks for looking!
--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/21535#comment:3>
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