Skip to content

Rename the default argument 'def' to 'default'#65638

Merged
bors merged 1 commit into
rust-lang:masterfrom
dsincl12:master
Oct 21, 2019
Merged

Rename the default argument 'def' to 'default'#65638
bors merged 1 commit into
rust-lang:masterfrom
dsincl12:master

Rename the default argument 'def' to 'default'

2a5c31c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs