]> git.lizzy.rs Git - rust.git/commit
Merge #11277
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Thu, 13 Jan 2022 19:08:38 +0000 (19:08 +0000)
committerGitHub <noreply@github.com>
Thu, 13 Jan 2022 19:08:38 +0000 (19:08 +0000)
commit07ded2aef0b286c106fbd36d4e0e56ed7924639e
tree50240a1a409a2ce7f49ecd504383c815e97abc94
parent1bfd903af04c025b20da2a7e5f2b92dc8c1e5d4d
parent0721a55a487e55e6faaa014776b78757ee512f96
Merge #11277

11277: minor: reformat and fix warning r=lnicola a=lnicola

bors r+

Co-authored-by: Laurențiu Nicola <lnicola@dend.ro>