Skip to content

Rollup of 6 pull requests #28798

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

Closed
wants to merge 11 commits into from
Closed

Conversation

@steveklabnik
Copy link
Member Author

@bors: r+ rollup

@bors
Copy link
Collaborator

bors commented Oct 1, 2015

📌 Commit db27dca has been approved by steveklabnik

@rust-highfive
Copy link
Contributor

r? @nikomatsakis

(rust_highfive has picked a reviewer for you, use r? to override)

@steveklabnik
Copy link
Member Author

@bors: r+ p=1

@bors
Copy link
Collaborator

bors commented Oct 1, 2015

📌 Commit db27dca has been approved by steveklabnik

@steveklabnik
Copy link
Member Author

@bors: rollup-

@bors
Copy link
Collaborator

bors commented Oct 2, 2015

⌛ Testing commit db27dca with merge ef3fe25...

bors added a commit that referenced this pull request Oct 2, 2015
@bors
Copy link
Collaborator

bors commented Oct 2, 2015

💔 Test failed - auto-linux-64-opt

wthrowe and others added 10 commits October 1, 2015 23:28
Previously only keyup event was looked at, which meant that pasting, cutting and
otherwise changing the input without typing would not catch any updates to the
search query.
It's not really clear here, since the example is rendered, where it
starts and ends. So let's use <hr>s to split it up.
Our docs were very basic for the various versions of from_utf8, so
this commit beefs them up.

It also improves docs for the &str variant's error, Utf8Error.
…docs, r=brson

Our docs were very basic for the various versions of from_utf8, so
this commit beefs them up.

It also improves docs for the &str variant's error, Utf8Error.
It's not really clear here, since the example is rendered, where it
starts and ends. So let's use <hr>s to split it up.
@Centril Centril added the rollup A PR which is a rollup label Oct 24, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
rollup A PR which is a rollup
Projects
None yet
Development

Successfully merging this pull request may close these issues.

8 participants