]> git.lizzy.rs Git - rust.git/commit
Auto merge of #1141 - RalfJung:lint-adjust, r=RalfJung
authorbors <bors@rust-lang.org>
Mon, 6 Jan 2020 10:39:24 +0000 (10:39 +0000)
committerbors <bors@rust-lang.org>
Mon, 6 Jan 2020 10:39:24 +0000 (10:39 +0000)
commitc50757a4207295c864da91c5a01f552385a4594d
tree97ee32fddaa8696d6565e8416eb72cf671dc3b14
parent50a5e2053dc380ed481dde8a52a1dec675182e56
parent0217a25a12d87d010c3df381b0b3d1206837ad95
Auto merge of #1141 - RalfJung:lint-adjust, r=RalfJung

remove no-longer-needed allow(const_err)