[tor-bugs] #19510 [Applications/Tor Browser]: Drop #5741 patch?

[Tor Bug Tracker & Wiki]

#19510: Drop #5741 patch?
------------------------------------------------+--------------------------
 Reporter:  arthuredelstein                     |          Owner:  tbb-team
     Type:  defect                              |         Status:  new
 Priority:  Medium                              |      Milestone:
Component:  Applications/Tor Browser            |        Version:
 Severity:  Normal                              |     Resolution:
 Keywords:  TorBrowserTeam201606, tbb-obsolete  |  Actual Points:
Parent ID:                                      |         Points:
 Reviewer:                                      |        Sponsor:
------------------------------------------------+--------------------------

Comment (by gk):

 I don't think so. We could try enumerating things we definitely want to
 get done before dropping that one, see: comment:17:ticket:12620 and
 comment:19:ticket:12620 for some remaining items. Then after those child
 tickets got resolved we could come back and think harder about dropping
 the patch for #5741.

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