[tor-bugs] #25050 [Metrics/Relay Search]: add sum row at the bottom of the search results

[Tor Bug Tracker & Wiki]

#25050: add sum row at the bottom of the search results
----------------------------------+-----------------------------
 Reporter:  cypherpunks           |          Owner:  irl
     Type:  enhancement           |         Status:  merge_ready
 Priority:  Low                   |      Milestone:
Component:  Metrics/Relay Search  |        Version:
 Severity:  Normal                |     Resolution:
 Keywords:                        |  Actual Points:
Parent ID:                        |         Points:  1
 Reviewer:                        |        Sponsor:
----------------------------------+-----------------------------

Comment (by cypherpunks):

 etrics-lib.patch attached to Ticket #26753 by karsten
 10:04 PM Ticket #26753 (Please update build dependencies for metrics-lib)
 created by karsten
     I'll attach a Git patch in a minute.
 9:59 PM Ticket #26710 (Update list of dependencies for metrics-lib that
 Jenkins uses) updated by karsten
     Owner, Status changed
     Alright, after making less progress on an unrelated ticket I did make
 …
 9:58 PM Ticket #26619 (Include in Tor Relay Guide doc instructions on how
 to deploy relay in ...) updated by nusenu
     thanks for adding it. this way users get tor 0.3.2.10, what is their …
 9:48 PM Ticket #25238 (Can't list all relays for a version when
 aggregating by version) updated by irl
     Status changed
     Fixed in …
 9:43 PM Ticket #26752 (Give cypherpunks account and other new accounts
 possibility of editing ...) created by cypherpunks
     seems like that's no longer the case, can we get that thing back?
 9:40 PM Ticket #25050 (add sum row at the bottom of the search results)
 updated by irl
     Status changed
     Fixed in …
 9:38 PM Ticket #26619 (Include in Tor Relay Guide doc instructions on how
 to deploy relay in ...) updated by ggus
     It's done.

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