[tbb-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                    |   Keywords:
Actual Points:                            |  TorBrowserTeam201606
       Points:                            |  Parent ID:
      Sponsor:                            |   Reviewer:
------------------------------------------+--------------------------------
 It appears that Mozilla fixed its WebSocket DNS leak here:
 https://bugzilla.mozilla.org/751465
 and Georg successfully landed a regression test in Firefox to ensure that
 WebSockets don't leak DNS requests:
 https://bugzilla.mozilla.org/971153

 So is it true that we can drop our #5741 patch now?

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