]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #68638 - GuillaumeGomez:links-cmp-traits, r=Dylan-DPC
authorDylan DPC <dylan.dpc@gmail.com>
Fri, 31 Jan 2020 00:21:25 +0000 (01:21 +0100)
committerGitHub <noreply@github.com>
Fri, 31 Jan 2020 00:21:25 +0000 (01:21 +0100)
commitf159045adc754a881ecf7061d9689af67c9bec46
tree06b735c4d5adc686b38fcd9b82ae4c4002b492a5
parent8f5858007c7e5f8c4f348f22005018fb41750d02
parent2f575dab3030467525acae204e47f7a9a8311530
Rollup merge of #68638 - GuillaumeGomez:links-cmp-traits, r=Dylan-DPC

Add missing links for cmp traits

r? @Dylan-DPC