[tor-bugs] #19820 [- Select a component]: Add deprecation facility, and deprecate some old options

[Tor Bug Tracker & Wiki]

#19820: Add deprecation facility, and deprecate some old options
--------------------------------------+--------------------------------
     Reporter:  nickm                 |      Owner:
         Type:  defect                |     Status:  new
     Priority:  Medium                |  Milestone:  Tor: 0.2.9.x-final
    Component:  - Select a component  |    Version:
     Severity:  Normal                |   Keywords:
Actual Points:  .5                    |  Parent ID:
       Points:  .5                    |   Reviewer:
      Sponsor:                        |
--------------------------------------+--------------------------------


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