Closed jdm closed 5 years ago
@bors-servo r+
:pushpin: Commit a7ed612 has been approved by jdm
:hourglass: Testing commit a7ed61242a528650acde9397b7b4a675e55045e1 with merge bea7b5cca9448ca10f8f710b7ad75567424f73b4...
:sunny: Test successful - checks-travis, status-appveyor Approved by: jdm Pushing bea7b5cca9448ca10f8f710b7ad75567424f73b4 to master...
This incorporates https://github.com/servo/mozjs/pull/185.
This change is