Fix up @carols10cents' mailmap entry

[steveklabnik]

The previous ways didn't work; this does.

cc rust-lang-nursery/thanks#45

[rust-highfive]

r? @alexcrichton

(rust_highfive has picked a reviewer for you, use r? to override)

[alexcrichton]

@bors: r+

[bors]

📌 Commit 0f2a5f6 has been approved by alexcrichton

[est31]

I don't think this will work. According to the manual page one person should always have one line, with the preffered name and email at the start, and any other (or previous) names and emails following in the same line. Also, if somebody used the same email but a different name, it counts as different person, so it needs to be inside the line as well.

Deleting a name from the mailmap won't help, as the name is still mentioned in the git history of rustc.

[est31]

Mhh, testing git shortlog -sn seems to confirm that nothing bad happened. IDK then.

[steveklabnik]

I checked this locally; before this change, both her names are in there, afterwards, there's only one.

I share your confusion about the man page.

[frewsxcv]

@bors rollup