oli.pause()

This commit is contained in:
Michael Goulet 2023-11-02 17:23:15 +00:00
parent c5afe0a61e
commit c5895c4caa

View file

@ -608,7 +608,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", "jackh726", "WaffleLapkin"]
users_on_vacation = ["jyn514", "jackh726", "WaffleLapkin", "oli-obk"]
[assign.adhoc_groups]
compiler-team = [