Skip to content

No need to whitelist E0750 anymore#71605

Merged
bors merged 1 commit into
rust-lang:masterfrom
GuillaumeGomez:remove-e0750-from-whitelist
Apr 28, 2020
Merged

No need to whitelist E0750 anymore#71605
bors merged 1 commit into
rust-lang:masterfrom
GuillaumeGomez:remove-e0750-from-whitelist

No need to whitelist E0750 anymore

116dca5
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs