Unrolled build for rust-lang#127847

rust-timer · web-flow · commit 98a8f701652a · 2024-07-17T11:48:49.000-04:00
Rollup merge of rust-lang#127847 - ChrisDenton:vacation, r=jhpratt Reviewer on vacation ``@jhpratt`` asked to be set as on vacation
diff --git a/triagebot.toml b/triagebot.toml
@@ -905,7 +905,7 @@ cc = ["@kobzol"]
 [assign]
 warn_non_default_branch = true
 contributing_url = "https://rustc-dev-guide.rust-lang.org/getting-started.html"
-users_on_vacation = ["jyn514"]
+users_on_vacation = ["jyn514", "jhpratt"]
 
 [assign.adhoc_groups]
 compiler-team = [
