Skip to content

Rename def_span to guess_head_span#69866

Merged
bors merged 1 commit intorust-lang:masterfrom
estebank:guess_head_span
Mar 26, 2020
Merged

Rename `def_span` to `guess_head_span`#69866
bors merged 1 commit intorust-lang:masterfrom
estebank:guess_head_span

Commits

Commits on Mar 25, 2020