]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #68509 - GuillaumeGomez:clean-up-err-codes-e0223-e0225, r=Dylan-DPC
authorYuki Okushi <huyuumi.dev@gmail.com>
Fri, 24 Jan 2020 22:45:15 +0000 (07:45 +0900)
committerGitHub <noreply@github.com>
Fri, 24 Jan 2020 22:45:15 +0000 (07:45 +0900)
commite22ae2c096ed2b58ab0d6c029b8ae985a1749e1c
tree2bbadaeb751705f1cf3e1fbe5305de08802d55a3
parentcecffb63086407b06612b32667a52ba1e94b092c
parent768f6f934028d3ac261cc6ad91219f6f90de1d72
Rollup merge of #68509 - GuillaumeGomez:clean-up-err-codes-e0223-e0225, r=Dylan-DPC

Clean up error codes E0223 and E0225 explanations

r? @Dylan-DPC