]> git.lizzy.rs Git - rust.git/commitdiff
Merge #6959
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Sun, 20 Dec 2020 14:08:53 +0000 (14:08 +0000)
committerGitHub <noreply@github.com>
Sun, 20 Dec 2020 14:08:53 +0000 (14:08 +0000)
6959: Use pattern_single instead of pattern in mbe pat r=jonas-schievink a=edwin0cheng

Fix #6882

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

Trivial merge