]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #97904 - est31:master, r=Dylan-DPC
authorMatthias Krüger <matthias.krueger@famsik.de>
Sat, 11 Jun 2022 16:05:32 +0000 (18:05 +0200)
committerGitHub <noreply@github.com>
Sat, 11 Jun 2022 16:05:32 +0000 (18:05 +0200)
commit4b7ec84c3111b077431c693569ad137f0603e29c
treec2aab7b25fc60a0ed702af8b77df6f5388c41132
parentfa68e73e9947be8ffc5b3b46d899e4953a44e7e9
parent97519bd2023398c32fa7f966dd9f5356aa6008e9
Rollup merge of #97904 - est31:master, r=Dylan-DPC

Small grammar fix in the compile_error documentation