Skip to content

Do not keep @mention people on merge commits#100

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

Do not keep @mention people on merge commits#100
pietroalbini merged 1 commit intorust-lang:masterfrom
tesuji:no-mention

Commits

Commits on Sep 1, 2020