[tor-bugs] #30863 [Applications/Tor Browser]: Fix tor-android-service and tor-onion-proxy-library filenames

[Tor Bug Tracker & Wiki]

#30863: Fix tor-android-service and tor-onion-proxy-library filenames
--------------------------------------------+--------------------------
 Reporter:  boklm                           |          Owner:  tbb-team
     Type:  defect                          |         Status:  closed
 Priority:  Medium                          |      Milestone:
Component:  Applications/Tor Browser        |        Version:
 Severity:  Minor                           |     Resolution:  fixed
 Keywords:  tbb-rbm, TorBrowserTeam201906R  |  Actual Points:
Parent ID:                                  |         Points:
 Reviewer:                                  |        Sponsor:
--------------------------------------------+--------------------------
Changes (by gk):

 * status:  needs_review => closed
 * resolution:   => fixed


Comment:

 Looks good to me. Merged to `master` with commit
 b4414487740039152a8fa62dde5d8ea13aa34cb2.

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