Skip to content

Practice diagnostic message convention#89483

Merged
bors merged 1 commit intorust-lang:masterfrom
hkmatsumoto:patch-diagnostics-2
Oct 4, 2021
Merged

Practice diagnostic message convention#89483
bors merged 1 commit intorust-lang:masterfrom
hkmatsumoto:patch-diagnostics-2

Commits

Commits on Oct 3, 2021