[tor-bugs] #12900 [Tor]: Remove config related naming stuff

[Tor Bug Tracker & Wiki]

#12900: Remove config related naming stuff
-------------------------------------------------+-------------------------
 Reporter:  Sebastian                            |          Owner:
     Type:  defect                               |  Sebastian
 Priority:  Low                                  |         Status:
Component:  Tor                                  |  assigned
 Severity:  Normal                               |      Milestone:  Tor:
 Keywords:  026-triaged-1, 026-deferrable,       |  0.2.9.x-final
  027-triaged-1-out                              |        Version:
Parent ID:  #12898                               |     Resolution:
  Sponsor:                                       |  Actual Points:
                                                 |         Points:  small
-------------------------------------------------+-------------------------
Changes (by Sebastian):

 * severity:   => Normal
 * milestone:  Tor: 0.2.8.x-final => Tor: 0.2.9.x-final


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