-
Notifications
You must be signed in to change notification settings - Fork 13.4k
doc: add missing pause #34850
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
doc: add missing pause #34850
Conversation
r? @Manishearth (rust_highfive has picked a reviewer for you, use r? to override) |
@bors-servo r+ rollup |
📌 Commit d7e7d24 has been approved by |
☔ The latest upstream changes (presumably #34852) made this pull request unmergeable. Please resolve the merge conflicts. |
🔒 Merge conflict |
merge conflict fixed |
@bors: r+ rollup |
📌 Commit b0de620 has been approved by |
💔 Test failed - auto-mac-32-opt |
@bors: retry On Thu, Jul 21, 2016 at 4:19 PM, bors notifications@github.com wrote:
|
@bors: retry |
doc: add missing pause
⌛ Testing commit b0de620 with merge 53c5692... |
💔 Test failed - auto-win-msvc-64-opt |
@bors: retry On Tue, Jul 26, 2016 at 4:10 AM, bors notifications@github.com wrote:
|
doc: add missing pause
No description provided.