Auto merge of #1063 - RalfJung:panic-abort, r=RalfJung
rename panic=abort tests to panic_abort
This commit is contained in:
commit
11603c4657
Loading…
Reference in New Issue
Block a user
rename panic=abort tests to panic_abort