Code

Miri: GC the dead_alloc_map too#118073

Code

Merged

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom saethlin:gc-dead-allocssaethlin/rust:gc-dead-allocsCopy head branch name to clipboardNov 23, 2023

+13-1

Commits

Commits on Nov 23, 2023

• Miri: GC the dead_alloc_map too

  saethlin

  committed
  f5dae8e

  Copy full SHA for f5dae8e