]> git.lizzy.rs Git - rust.git/commit
Auto merge of #2331 - RalfJung:trophy, r=RalfJung
authorbors <bors@rust-lang.org>
Mon, 4 Jul 2022 20:11:17 +0000 (20:11 +0000)
committerbors <bors@rust-lang.org>
Mon, 4 Jul 2022 20:11:17 +0000 (20:11 +0000)
commitb93a70fe3f71ebcdb0c70f1ad0b64fedadc48758
treedadb33e9114888a6477d4d81e40d3cabff71e1ee
parent709e29a16749333c29ba6311f79037df837d1426
parent58b6e592a218f28383b40beb7d78b750173ab67d
Auto merge of #2331 - RalfJung:trophy, r=RalfJung

trophy case++