Auto merge of #115828 - clubby789:clubby-off-vacation, r=lqd

Remove `clubby789` from `users_on_vacation`
This commit is contained in:
bors 2023-09-14 08:17:53 +00:00
commit fea046037f

View File

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