Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rollup #12509

Merged
merged 10 commits into from
Feb 24, 2014
Merged

Rollup #12509

merged 10 commits into from
Feb 24, 2014

Conversation

brson
Copy link
Contributor

@brson brson commented Feb 23, 2014

Rollup of #12506, #12500, #12480, #12478, #12461.

@brson
Copy link
Contributor Author

brson commented Feb 23, 2014

Note, I'm intentionally not closing the original PR's because I want to see if bors can close them on its own after this goes in.

bors added a commit that referenced this pull request Feb 24, 2014
@bors bors closed this Feb 24, 2014
@bors bors merged commit d08952c into rust-lang:master Feb 24, 2014
@brson
Copy link
Contributor Author

brson commented Feb 24, 2014

Woo, all PR's closed at the same time.

@Centril Centril added the rollup A PR which is a rollup label Oct 2, 2019
bors added a commit to rust-lang-ci/rust that referenced this pull request Jul 25, 2022
internal: Remove `Generics::type_iter` in favor of `Generics::iter`
matthiaskrgr pushed a commit to matthiaskrgr/rust that referenced this pull request Mar 21, 2024
Changelog for Clippy 1.77 🏫

Roses are violets,
Red is blue,
Let's create a world,
Perfect for me and you

---

### The cat of this release is: *Luigi*

<img width=500 src="https://github.com/rust-lang/rust-clippy/assets/17087237/ea13d05c-e5ba-4189-9e16-49bf1b43c468" alt="The cats of this Clippy release" />

The cat for the next release can be voted on: [here](https://forms.gle/57gbrNvXtCUmrHYh6)

The cat for the next next release can be nominated in the comments and will be voted in the next changelog PR (Submission deadline is 2024-03-30 23:59CET)

---

changelog: none
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
rollup A PR which is a rollup
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants