]> git.lizzy.rs Git - rust.git/commit
Auto merge of #79780 - camelid:use-summary_opts, r=GuillaumeGomez
authorbors <bors@rust-lang.org>
Tue, 8 Dec 2020 01:15:26 +0000 (01:15 +0000)
committerbors <bors@rust-lang.org>
Tue, 8 Dec 2020 01:15:26 +0000 (01:15 +0000)
commitd4aea0b7498fdb7dce496e42b10fb44e90cb1453
treec5ebdd5b2c084e084fb46bbb1c3f0725ab49c98d
parentbda05cc471f8cf4a3c45f587f87d7b01a8343c3c
parent2ee34a0923643f277775c874beb8990be4b1385c
Auto merge of #79780 - camelid:use-summary_opts, r=GuillaumeGomez

Use `summary_opts()` in another spot

I added `summary_opts()` before I cut the branch for #77686 (2 months
ago!), so this "slipped through the cracks".