]> git.lizzy.rs Git - rust.git/commit
Auto merge of #2263 - wesleywiser:update_measureme, r=RalfJung
authorbors <bors@rust-lang.org>
Fri, 24 Jun 2022 23:24:57 +0000 (23:24 +0000)
committerbors <bors@rust-lang.org>
Fri, 24 Jun 2022 23:24:57 +0000 (23:24 +0000)
commita1226c43b6f6bae61b9225efca3f09cf712f5864
treeef69c8b312a060513b5a1bb044c396a2f8c11677
parentdcaa7a7221b3b25a1ad6cdb30d30739e0ea4d331
parent2f9750783ced5099b90086af4a23f5af000a9f28
Auto merge of #2263 - wesleywiser:update_measureme, r=RalfJung

Update measureme to the latest version

The major version number is different due to changes to the on-disk recording format but the core API is the same and miri continues to build on the latest version.