Skip to content

Rename field goals of type Goals to interned.#377

Merged
nikomatsakis merged 1 commit intorust-lang:masterfrom
crlf0710:master
Apr 7, 2020
Merged

Rename field `goals` of type `Goals` to `interned`.#377
nikomatsakis merged 1 commit intorust-lang:masterfrom
crlf0710:master

Commits

Commits on Apr 7, 2020