Skip to content

remove unused field from infcx#95523

Merged
bors merged 1 commit intorust-lang:masterfrom lcnr:yeet-unused-fieldMar 31, 2022

Commits

Commits on Mar 31, 2022