Skip to content

Do not keep @mention people on merge commits#100

Merged
pietroalbini merged 1 commit intorust-lang:masterfrom tesuji:no-mentionSep 3, 2020

Commits

Commits on Sep 1, 2020