Skip to content

Conversation

@GuillaumeGomez
Copy link
Member

Fixes #118.

Let's hope it doesn't get removed once again. XD

@jyn514 jyn514 merged commit 65421ed into rust-lang:master Nov 28, 2020
@GuillaumeGomez GuillaumeGomez deleted the tabindex branch November 28, 2020 14:07
@GuillaumeGomez GuillaumeGomez added the A-frontend Area: Web frontend label Nov 28, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-frontend Area: Web frontend

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Hide the search crate text field by default

2 participants