]> git.lizzy.rs Git - rust.git/commit
Auto merge of #2071 - RalfJung:provenance, r=RalfJung
authorbors <bors@rust-lang.org>
Wed, 20 Apr 2022 12:44:39 +0000 (12:44 +0000)
committerbors <bors@rust-lang.org>
Wed, 20 Apr 2022 12:44:39 +0000 (12:44 +0000)
commitc9039de613478cfe806ff287504b313424b619a5
tree76e0df10b77fa3d6475bc6dc5167208af9449eeb
parent598ae7418b101c47aff2131d21a7e4e22192d3ba
parentb5a76c7ff075b96415d5941c95854b217e294d9d
Auto merge of #2071 - RalfJung:provenance, r=RalfJung

adjust for provenance cleanup

This is the Miri side of https://github.com/rust-lang/rust/pull/96165