Do not keep @mention people on merge commits#100
Merged
pietroalbini merged 1 commit intorust-lang:masterfrom Sep 3, 2020
Merged
Do not keep @mention people on merge commits#100pietroalbini merged 1 commit intorust-lang:masterfrom
pietroalbini merged 1 commit intorust-lang:masterfrom