#23854: Add an RSS feed for https://metrics.torproject.org/news.html -----------------------------+------------------------ Reporter: cypherpunks | Owner: irl Type: enhancement | Status: closed Priority: Medium | Milestone: Component: Metrics/Website | Version: Severity: Normal | Resolution: fixed Keywords: | Actual Points: 2.5 Parent ID: | Points: Reviewer: | Sponsor: -----------------------------+------------------------ Changes (by karsten):
* status: needs_review => closed * resolution: => fixed Comment: Looks good! Merged and deployed! Yay. :) Regarding checkstyle and the diamond operator, I don't know whether we can put in a check specifically for that. Closing. Thanks! -- Ticket URL: <https://trac.torproject.org/projects/tor/ticket/23854#comment:17> 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