]> git.proxmox.com Git - cargo.git/commit
Auto merge of #8205 - lcnr:patch-1, r=alexcrichton
authorbors <bors@rust-lang.org>
Mon, 4 May 2020 19:38:36 +0000 (19:38 +0000)
committerbors <bors@rust-lang.org>
Mon, 4 May 2020 19:38:36 +0000 (19:38 +0000)
commitc7eddc1ee99b63185112a17922ba5d71c05af244
tree5632c143b2bd538e2b7690b259e31dfbcda90329
parent8dd98699b8abc629449a57a0b065c9cc111db32a
parente97b36ab336440ddc641b23eaa84d49f70d0bc8c
Auto merge of #8205 - lcnr:patch-1, r=alexcrichton

¬∃x. ¬y => ∀x. y