Skip to content

Improve our range-diff header with colors and better description#2399

Merged
Urgau merged 1 commit into
rust-lang:masterfrom
Urgau:gh-range-diff-new-header
May 9, 2026
Merged

Improve our range-diff header with colors and better description#2399
Urgau merged 1 commit into
rust-lang:masterfrom
Urgau:gh-range-diff-new-header

Commits

Commits on May 9, 2026