jhpratt on vacation

This commit is contained in:
Chris Denton 2024-07-17 07:53:02 +00:00
parent a28b35eb35
commit a216a34ef3
No known key found for this signature in database
GPG Key ID: 713472F2F45627DE

View File

@ -905,7 +905,7 @@ cc = ["@kobzol"]
[assign] [assign]
warn_non_default_branch = true warn_non_default_branch = true
contributing_url = "https://rustc-dev-guide.rust-lang.org/getting-started.html" contributing_url = "https://rustc-dev-guide.rust-lang.org/getting-started.html"
users_on_vacation = ["jyn514"] users_on_vacation = ["jyn514", "jhpratt"]
[assign.adhoc_groups] [assign.adhoc_groups]
compiler-team = [ compiler-team = [