]> git.proxmox.com Git - cargo.git/commitdiff
Auto merge of #7428 - alexcrichton:nocapture, r=ehuss
authorbors <bors@rust-lang.org>
Wed, 25 Sep 2019 16:35:10 +0000 (16:35 +0000)
committerbors <bors@rust-lang.org>
Wed, 25 Sep 2019 16:35:10 +0000 (16:35 +0000)
Don't ever capture CPU state if timings are disabled

This should initially help with the panic in #7427 but doesn't solve it.


Trivial merge