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

cast_ptr_alignment: Mention legal use under known problems #4265

Merged
merged 1 commit into from
Jul 9, 2019

Conversation

vks
Copy link
Contributor

@vks vks commented Jul 9, 2019

Refs #2881.

changelog: Mention know problems for cast_ptr_alignment

@flip1995
Copy link
Member

flip1995 commented Jul 9, 2019

Thanks!

@bors r+

@bors
Copy link
Contributor

bors commented Jul 9, 2019

📌 Commit f831b09 has been approved by flip1995

@bors
Copy link
Contributor

bors commented Jul 9, 2019

⌛ Testing commit f831b09 with merge f0d2170...

bors added a commit that referenced this pull request Jul 9, 2019
cast_ptr_alignment: Mention legal use under known problems

Refs #2881.

changelog: Mention know problems for cast_ptr_alignment
@bors
Copy link
Contributor

bors commented Jul 9, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: flip1995
Pushing f0d2170 to master...

@bors bors merged commit f831b09 into rust-lang:master Jul 9, 2019
@vks vks deleted the patch-1 branch July 9, 2019 14:47
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