Change Nilstrieb's name and email

This brings it in line with the name and email used for commits, which should merge my two clones on https://thanks.rust-lang.org
rust-lang · Apr 17, 2023 · 1f1663f · 1f1663f
1 parent 0846ab8
commit 1f1663f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/reviewers.rs b/src/reviewers.rs
@@ -240,7 +240,7 @@ impl Reviewers {
         map.insert("nick29581", nrc.clone());
         map.insert("nikic", a("Nikita Popov", "[email protected]"));
         map.insert("nikomatsakis", nikomatsakis.clone());
-        map.insert("nilstrieb", a("nils", "nilstrieb@gmail.com"));
+        map.insert("nilstrieb", a("Nilstrieb", "[email protected].com"));
         map.insert("nmatsakis", nikomatsakis.clone());
         map.insert("nnethercote", a("Nicholas Nethercote", "[email protected]"));
         map.insert("notriddle", a("Michael Howell", "[email protected]"));