Skip to content

Rollup of 12 pull requests#78889

Merged
bors merged 41 commits into
rust-lang:masterfrom
Dylan-DPC-zz:rollup-6zjhahf
Nov 9, 2020
Merged

Rollup of 12 pull requests#78889
bors merged 41 commits into
rust-lang:masterfrom
Dylan-DPC-zz:rollup-6zjhahf

Rollup merge of #78882 - bjorn3:nicer_hunk_headers, r=Mark-Simulacrum

92adac9
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs