Rollup merge of #117202 - TaKO8Ki:revert-remove-TaKO8Ki-from-reviewers, r=Nilstrieb

Revert "Remove TaKO8Ki from reviewers"

ref #116061

It's been a month since this pull request, and I now have some available time for reviews. Would it be okay to revisit it as a reviewer?

This reverts commit 8e06b25e39.

r? `@Nilstrieb`
This commit is contained in:
Matthias Krüger 2023-10-26 17:45:45 +02:00 committed by GitHub
commit 36b794ed03
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -621,6 +621,7 @@ compiler-team = [
compiler-team-contributors = [ compiler-team-contributors = [
"@compiler-errors", "@compiler-errors",
"@jackh726", "@jackh726",
"@TaKO8Ki",
"@WaffleLapkin", "@WaffleLapkin",
"@b-naber", "@b-naber",
] ]
@ -667,6 +668,7 @@ diagnostics = [
"@compiler-errors", "@compiler-errors",
"@davidtwco", "@davidtwco",
"@oli-obk", "@oli-obk",
"@TaKO8Ki",
] ]
parser = [ parser = [
"@compiler-errors", "@compiler-errors",