Skip to content

Make -Ztrack-diagnostics emit like a note#143286

Merged
bors merged 1 commit intorust-lang:masterfrom
Muscraft:track-diagnostics-note
Jul 4, 2025
Merged

Make -Ztrack-diagnostics emit like a note#143286
bors merged 1 commit intorust-lang:masterfrom
Muscraft:track-diagnostics-note

Commits

Commits on Jul 3, 2025