Abort when foreign exceptions are caught by catch_unwind#70212

Merged

bors merged 1 commit intorust-lang:masterfrom Amanieu:catch_foreign

Aug 28, 2020

+275-105

Commits on Aug 27, 2020

Abort when catch_unwind catches a foreign exception
Amanieu
committed