Skip to content

Add note that we follow a rustc no merge-commit policy#6138

Merged
bors merged 1 commit intorust-lang:masterfrom
giraffate:note_that_we_follow_rustc_no_merge_policy
Oct 8, 2020
Merged

Add note that we follow a rustc no merge-commit policy#6138
bors merged 1 commit intorust-lang:masterfrom
giraffate:note_that_we_follow_rustc_no_merge_policy

Commits

Commits on Oct 8, 2020