[tor-bugs] #25721 [Applications/Tor Browser]: Backport patches for 1448771

[Tor Bug Tracker & Wiki]

#25721: Backport patches for 1448771
-------------------------------------------------+-------------------------
 Reporter:  gk                                   |          Owner:  tbb-
                                                 |  team
     Type:  enhancement                          |         Status:
                                                 |  needs_review
 Priority:  Medium                               |      Milestone:
Component:  Applications/Tor Browser             |        Version:
 Severity:  Normal                               |     Resolution:
 Keywords:  TorBrowserTeam201804R,               |  Actual Points:
  GeorgKoppen201804                              |
Parent ID:                                       |         Points:
 Reviewer:                                       |        Sponsor:
-------------------------------------------------+-------------------------

Comment (by pospeselr):

 Patches look reasonable enough, but I don't have access to the original
 mozilla bug.

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