]> git.lizzy.rs Git - rust.git/commit
Merge #7388
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Fri, 22 Jan 2021 11:52:23 +0000 (11:52 +0000)
committerGitHub <noreply@github.com>
Fri, 22 Jan 2021 11:52:23 +0000 (11:52 +0000)
commit2ca9cb375385fceede55cfacdbadc1c6bf24e2ea
treeb8772cc86724b0e9e44f53eb828e4c9b92883024
parent6403b530bb75f708b44a22e166671917121e625f
parenteb2cb6b01f9fc35498e809f3905d5149c045876b
Merge #7388

7388: Minor fix for #7387 r=edwin0cheng a=edwin0cheng

bors r+

Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>