Auto merge of #13272 - flip1995:vacation, r=flip1995

flip1995: 2 week vacation

r? `@ghost`
changelog: none
This commit is contained in:
bors 2024-08-15 19:11:20 +00:00
commit 5da97d006e

View File

@ -20,6 +20,7 @@ new_pr = true
[assign]
contributing_url = "https://github.com/rust-lang/rust-clippy/blob/master/CONTRIBUTING.md"
users_on_vacation = [
"flip1995",
"matthiaskrgr",
"giraffate",
]