]> git.lizzy.rs Git - rust.git/commitdiff
Merge #8001
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Sat, 13 Mar 2021 19:08:29 +0000 (19:08 +0000)
committerGitHub <noreply@github.com>
Sat, 13 Mar 2021 19:08:29 +0000 (19:08 +0000)
8001: More Chalk IDs r=flodiebold a=flodiebold

Co-authored-by: Florian Diebold <flodiebold@gmail.com>

Trivial merge