[tor-bugs] #16797 [Tor Browser]: brandShorterName is missing from brand.properties

[Tor Bug Tracker & Wiki]

#16797: brandShorterName is missing from brand.properties
-------------------------+-------------------------------------------------
     Reporter:  mcs      |      Owner:  tbb-team
         Type:  defect   |     Status:  closed
     Priority:  normal   |  Milestone:
    Component:  Tor      |    Version:
  Browser                |   Keywords:  tbb-torbutton,ff38-esr,
   Resolution:  fixed    |  TorBrowserTeam201508R
Actual Points:           |  Parent ID:
       Points:           |
-------------------------+-------------------------------------------------
Changes (by gk):

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


Comment:

 Fixed with commit 71a0bba47c0d2d079b778cd2763a27c90d664420 on master,
 thanks.

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