]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #2338 - RalfJung:format, r=RalfJung
authorbors <bors@rust-lang.org>
Wed, 6 Jul 2022 13:49:46 +0000 (13:49 +0000)
committerbors <bors@rust-lang.org>
Wed, 6 Jul 2022 13:49:46 +0000 (13:49 +0000)
tweak format strings


Trivial merge