Skip to content

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

Merged
bors merged 1 commit intorust-lang:masterfrom dsincl12:masterOct 21, 2019

Commits

Commits on Oct 20, 2019