]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #30116 - petrochenkov:exhaust, r=alexcrichton
authorbors <bors@rust-lang.org>
Tue, 1 Dec 2015 05:55:04 +0000 (05:55 +0000)
committerbors <bors@rust-lang.org>
Tue, 1 Dec 2015 05:55:04 +0000 (05:55 +0000)
Fixes https://github.com/rust-lang/rust/pull/29383#issuecomment-160652130

r? @bluss


Trivial merge