Auto merge of rust-lang#13415 - rust-lang:flip1995-vacation-done, r=flip1995

bors · bors · commit fdc16781ebf4 · 2024-09-18T17:30:40.000Z
End my vacation

r? `@ghost`
changelog: none
diff --git a/triagebot.toml b/triagebot.toml
@@ -20,7 +20,6 @@ new_pr = true
 [assign]
 contributing_url = "https://github.com/rust-lang/rust-clippy/blob/master/CONTRIBUTING.md"
 users_on_vacation = [
-    "flip1995",
     "matthiaskrgr",
     "giraffate",
 ]

Original file line number	Diff line number	Diff line change
`@@ -20,7 +20,6 @@ new_pr = true`
`20`	`20`	`[assign]`
`21`	`21`	`contributing_url = "https://github.com/rust-lang/rust-clippy/blob/master/CONTRIBUTING.md"`
`22`	`22`	`users_on_vacation = [`
`23`		`- "flip1995",`
`24`	`23`	`"matthiaskrgr",`
`25`	`24`	`"giraffate",`
`26`	`25`	`]`