[tor-bugs] #20642 [Internal Services/Service - trac]: rename "Internal Services" trac component to "Infrastructure"?

[Tor Bug Tracker & Wiki]

#20642: rename "Internal Services" trac component to "Infrastructure"?
----------------------------------------------+---------------------
 Reporter:  arma                              |          Owner:  qbi
     Type:  enhancement                       |         Status:  new
 Priority:  Medium                            |      Milestone:
Component:  Internal Services/Service - trac  |        Version:
 Severity:  Normal                            |     Resolution:
 Keywords:                                    |  Actual Points:
Parent ID:                                    |         Points:
 Reviewer:                                    |        Sponsor:
----------------------------------------------+---------------------

Comment (by arma):

 weasel points out that this ticket "will involve modifying all the
 tickets", "probably using database magic".

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