Skip to content

Organize intrinsics promotion checks#66275

Merged
bors merged 8 commits intorust-lang:masterfrom
oli-obk:organize-intrinsics-promotion-checks
Dec 4, 2019
Merged

Organize intrinsics promotion checks#66275
bors merged 8 commits intorust-lang:masterfrom
oli-obk:organize-intrinsics-promotion-checks

Commits

Commits on Dec 4, 2019