]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #67837 - GuillaumeGomez:clean-up-err-codes, r=Dylan-DPC
authorGuillaume Gomez <guillaume1.gomez@gmail.com>
Sat, 4 Jan 2020 12:17:30 +0000 (13:17 +0100)
committerGitHub <noreply@github.com>
Sat, 4 Jan 2020 12:17:30 +0000 (13:17 +0100)
commit5c73be167051c1e353df9f372663f901f212953f
tree2679146eb8d4c8375ef057a9bab70367917402d3
parent1140ceebccdf9ab00bce927dd71dbe5957486ef2
parent062cd789588dfc493ef8c69378379024d3670f75
Rollup merge of #67837 - GuillaumeGomez:clean-up-err-codes, r=Dylan-DPC

Clean up err codes

r? @Dylan-DPC