[metrics-bugs] #21614 [Metrics]: JavaDoc should contain the version number

[Tor Bug Tracker & Wiki]

#21614: JavaDoc should contain the version number
-------------------------+------------------------------
 Reporter:  iwakeh       |          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 iwakeh):

 Yes, your suggestions about having the version in the middle and only add
 the git-revision in case of dev versions makes sense.

 Please review [https://gitweb.torproject.org/user/iwakeh/metrics-
 base.git/commit/?h=task-21614&id=e130139e1a551bcf3e6437a85799590600f4b096
 this patch].

 Example:
 {{{
 DescripTor 1.6.0 API Documentation
 DescripTor 1.6.0-dev.abcdefg API Documentation
 }}}

 I would want to wait with adding the override options until we really saw
 a use case.

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