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

Add optimization hints section to attributes #381

Merged
merged 1 commit into from
Aug 18, 2018

Conversation

Havvy
Copy link
Contributor

@Havvy Havvy commented Aug 1, 2018

Fixes #349

Went and did this because it's been two months without a response.

@Havvy
Copy link
Contributor Author

Havvy commented Aug 1, 2018

Do not merge both this and the next PR at the same time until I've edited the other PR to remove the "function-only attributes" section since the two PRs remove all of the attributes from that section.

@Havvy Havvy force-pushed the optimization-hints branch 2 times, most recently from 15552b0 to 672a470 Compare August 1, 2018 20:38
@Havvy Havvy force-pushed the optimization-hints branch from 672a470 to 01defa4 Compare August 3, 2018 19:22
@Havvy
Copy link
Contributor Author

Havvy commented Aug 3, 2018

Rebased

Copy link
Member

@steveklabnik steveklabnik left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@steveklabnik steveklabnik merged commit 845d1ed into rust-lang:master Aug 18, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants