Skip to content
New issue

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

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

Already on GitHub? # to your account

Fix a mistake in release notes for 1.21.0 #45171

Merged
merged 1 commit into from
Oct 11, 2017
Merged

Fix a mistake in release notes for 1.21.0 #45171

merged 1 commit into from
Oct 11, 2017

Conversation

petrochenkov
Copy link
Contributor

Also reorder changes to put the important one first.

Also reorder changes to put the important one first.
@petrochenkov
Copy link
Contributor Author

r? @steveklabnik
Could you merge this before the announce (rust-lang/blog.rust-lang.org#203) is posted?

@steveklabnik
Copy link
Member

@bors: r+ rollup

@bors
Copy link
Contributor

bors commented Oct 11, 2017

📌 Commit 1138f85 has been approved by steveklabnik

steveklabnik added a commit to steveklabnik/rust that referenced this pull request Oct 11, 2017
…teveklabnik

Fix a mistake in release notes for 1.21.0

Also reorder changes to put the important one first.
bors added a commit that referenced this pull request Oct 11, 2017
Rollup of 5 pull requests

- Successful merges: #45071, #45139, #45148, #45171, #45180
- Failed merges: #45121
@bors bors merged commit 1138f85 into master Oct 11, 2017
@petrochenkov petrochenkov deleted the petrochenkov-patch-2 branch October 13, 2017 08:39
@petrochenkov petrochenkov restored the petrochenkov-patch-2 branch October 13, 2017 08:40
@petrochenkov petrochenkov deleted the petrochenkov-patch-2 branch October 13, 2017 08:40
@petrochenkov petrochenkov changed the title Fix a mistake in release notes for 1.21.0 Fix a mistake in release notes for 1.21.0 test test test Oct 14, 2017
@petrochenkov petrochenkov changed the title Fix a mistake in release notes for 1.21.0 test test test Fix a mistake in release notes for 1.21.0 Oct 14, 2017
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants