Skip to content

Remove unnecessary attribute from a diagnostic#111239

Merged
bors merged 1 commit intorust-lang:masterfrom
TaKO8Ki:fix-111232
May 6, 2023
Merged

Remove unnecessary attribute from a diagnostic#111239
bors merged 1 commit intorust-lang:masterfrom
TaKO8Ki:fix-111232

Commits

Commits on May 5, 2023