Skip to content

Rename rust_fail to rust_panic#18442

Merged
bors merged 1 commit into
rust-lang:masterfrom
Manishearth:rust_panic
Oct 31, 2014
Merged

Rename rust_fail to rust_panic#18442
bors merged 1 commit into
rust-lang:masterfrom
Manishearth:rust_panic

Commits

Commits on Oct 29, 2014