]> git.lizzy.rs Git - rust.git/commit
Rollup merge of #73181 - LeSeulArtichaut:patch-1, r=spastorino
authorDylan DPC <dylan.dpc@gmail.com>
Thu, 11 Jun 2020 11:16:06 +0000 (13:16 +0200)
committerGitHub <noreply@github.com>
Thu, 11 Jun 2020 11:16:06 +0000 (13:16 +0200)
commit6cc757e698ec7994411ef327f463726b070a3410
tree8ce67d7eff884ff59f07bc6dab54174aa837747d
parent2ac1598d83d03f80345bf17e0df84508e39025f8
parentc9f2cbf215870049fe9ffe312f7cc2bd78ce1744
Rollup merge of #73181 - LeSeulArtichaut:patch-1, r=spastorino

Automatically prioritize unsoundness issues

r? @spastorino cc @Mark-Simulacrum @rust-lang/wg-prioritization
triagebot.toml