diff options
| author | Jacob Pratt <jacob@jhpratt.dev> | 2024-04-13 00:18:47 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-13 00:18:47 -0400 |
| commit | 79df0cfe72dc794211ca394598795ba81b3161e8 (patch) | |
| tree | 80a3b3925b37e323c63849ad87ba35da730a0a55 /compiler/rustc_pattern_analysis/src | |
| parent | 0518ecc70005d34686bb247229280501bd460e2b (diff) | |
| parent | ca0939db046ca73d7512f28cf4a58010c3727838 (diff) | |
| download | rust-79df0cfe72dc794211ca394598795ba81b3161e8.tar.gz rust-79df0cfe72dc794211ca394598795ba81b3161e8.zip | |
Rollup merge of #123872 - tgross35:fix-mailmap, r=lqd
Fix Pietro's entry in the mailmap Mailmap only allows one remapping per line, so `@pietroalbini` wasn't getting grouped correctly. Fix this.
Diffstat (limited to 'compiler/rustc_pattern_analysis/src')
0 files changed, 0 insertions, 0 deletions