Skip to content

Nicer hunk headers for rust files#78882

Merged
bors merged 1 commit intorust-lang:masterfrom bjorn3:nicer_hunk_headersNov 9, 2020
+1-1

Commits

Commits on Nov 8, 2020