]> git.lizzy.rs Git - rust.git/commit
Auto merge of #1139 - RalfJung:fixme, r=RalfJung
authorbors <bors@rust-lang.org>
Thu, 2 Jan 2020 14:58:15 +0000 (14:58 +0000)
committerbors <bors@rust-lang.org>
Thu, 2 Jan 2020 14:58:15 +0000 (14:58 +0000)
commitf3c267d07cfae435e03b0c5878becc74058fe46e
tree89ab35f899b1c6ee36608a8d0208f3e62ed0a1f3
parent4da2b2149ca1c6a3331260dfcbb2175c51f2842d
parentc68996dda7771a404ce45690d0c1c02c268092a7
Auto merge of #1139 - RalfJung:fixme, r=RalfJung

note a FIXME

Cc @wesleywiser