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

End my vacation

r? `@ghost`
changelog: none
This commit is contained in:
bors 2024-09-18 17:30:40 +00:00
commit fdc16781eb

View file

@ -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",
]