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

…lip1995 End my vacation r? `@ghost` changelog: none
mkrasnitski · Sep 18, 2024 · fdc1678 · fdc1678
2 parents 903293b + 106a9af
commit fdc1678
Showing 1 changed file with 0 additions and 1 deletion.
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",
 ]