Use a less strict bound for wrap_panic.

servo / rust-mozjs

DEPRECATED - moved to servo/mozjs instead.

Mozilla Public License 2.0

293 stars 122 forks source link

Closed Ms2ger closed 7 years ago

Ms2ger commented 7 years ago

This is what's required for catch_unwind; there's no need to be stricter.

This change is

nox commented 7 years ago

@bors-servo r+

bors-servo commented 7 years ago

:pushpin: Commit 635a97f has been approved by nox

bors-servo commented 7 years ago

:hourglass: Testing commit 635a97f with merge 4f46b37...

bors-servo commented 7 years ago