[tor-bugs] #17823 [metrics-lib]: use diamond operator

[Tor Bug Tracker & Wiki]

#17823: use diamond operator
-------------------------+--------------------------
 Reporter:  iwakeh       |          Owner:  karsten
     Type:  enhancement  |         Status:  accepted
 Priority:  Low          |      Milestone:
Component:  metrics-lib  |        Version:
 Severity:  Minor        |     Resolution:
 Keywords:               |  Actual Points:
Parent ID:  #17822       |         Points:
  Sponsor:               |
-------------------------+--------------------------
Changes (by karsten):

 * status:  new => accepted


Comment:

 Sure, let's change this.  The only questions are when we do this and who
 does it.  Ideally, neither of us would have many unmerged branches around
 when this change gets merged to master, because merging those might be
 less fun afterwards.  How about we do this shortly before the next
 release?

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/17823#comment:1>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online