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.

Sign up for GitHub

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

Jump to bottom

doc: "ref" not needed in the example #31897

Merged
merged 1 commit into from
Feb 28, 2016
Merged

doc: "ref" not needed in the example #31897

merged 1 commit into from
Feb 28, 2016

Conversation

tshepang
Copy link
Member

Also, path seems better than p

@steveklabnik
Copy link
Member

@bors: r+ rollup

@bors
Copy link
Contributor

bors commented Feb 25, 2016

📌 Commit be2d1ca has been approved by steveklabnik

@Manishearth Manishearth mentioned this pull request Feb 26, 2016
Merged
bors added a commit that referenced this pull request Feb 26, 2016
@bors
Auto merge of #31911 - Manishearth:rollup, r=Manishearth
ee8b257 
- Successful merges: #31878, #31880, #31883, #31893, #31894, #31896, #31901, #31904
- Failed merges: #31897
@bors
Copy link
Contributor

bors commented Feb 26, 2016

☔ The latest upstream changes (presumably #31911) made this pull request unmergeable. Please resolve the merge conflicts.

@bors
Copy link
Contributor

bors commented Feb 27, 2016

🔒 Merge conflict

@tshepang
doc: "ref" not needed in the example
a34fd5c 
Also, `path` seems better than `p`
@tshepang
Copy link
Member Author

merge conflict fixed

@steveklabnik
Copy link
Member

@bors: r+ rollup

@bors
Copy link
Contributor

bors commented Feb 28, 2016

📌 Commit a34fd5c has been approved by steveklabnik

bors added a commit that referenced this pull request Feb 28, 2016
@bors
Auto merge of #31897 - tshepang:ref-not-needed, r=steveklabnik
d555882 
Also, `path` seems better than `p`
@bors
Copy link
Contributor

bors commented Feb 28, 2016

⌛ Testing commit a34fd5c with merge d555882...

@bors
Copy link
Contributor

bors commented Feb 28, 2016

☀️ Test successful - auto-linux-32-nopt-t, auto-linux-32-opt, auto-linux-64-debug-opt, auto-linux-64-nopt-t, auto-linux-64-opt, auto-linux-64-x-android-t, auto-linux-cross-opt, auto-linux-musl-64-opt, auto-mac-32-opt, auto-mac-64-nopt-t, auto-mac-64-opt, auto-mac-ios-opt, auto-win-gnu-32-nopt-t, auto-win-gnu-32-opt, auto-win-gnu-64-nopt-t, auto-win-gnu-64-opt, auto-win-msvc-32-opt, auto-win-msvc-64-opt

@bors bors merged commit a34fd5c into rust-lang:master Feb 28, 2016
@tshepang tshepang deleted the ref-not-needed branch February 29, 2016 08:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@tshepang @steveklabnik @bors