]> git.proxmox.com Git - cargo.git/commitdiff
Auto merge of #8080 - RoccoDev:master, r=alexcrichton
authorbors <bors@rust-lang.org>
Tue, 7 Apr 2020 17:46:45 +0000 (17:46 +0000)
committerbors <bors@rust-lang.org>
Tue, 7 Apr 2020 17:46:45 +0000 (17:46 +0000)
Compatibility for rust-lang/rust#69926

This adds compatibility for the rust-lang/rust#69926 PR, which makes it so a warning count is displayed when the build is done.


Trivial merge