]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #87045 - jhpratt:fix-tracking-issue, r=jyn514
authorYuki Okushi <jtitor@2k36.org>
Sun, 11 Jul 2021 19:32:03 +0000 (04:32 +0900)
committerGitHub <noreply@github.com>
Sun, 11 Jul 2021 19:32:03 +0000 (04:32 +0900)
commit76aebb195b305c73cb9bc6e8e1964a28201a6c0c
tree5229b4ccdd879acc2bffec96a034f09ddd69c019
parent1232df9097e0754a4257baefede1d662728b7cc4
parent14633a0a27c9f82595c1af8123876f5d4a91871d
Rollup merge of #87045 - jhpratt:fix-tracking-issue, r=jyn514

Fix tracking issue for `bool_to_option`

The previous tracking issue was closed in favor of the current.