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

fix version search in the website #14016

Merged
merged 1 commit into from
Jan 17, 2025
Merged

fix version search in the website #14016

merged 1 commit into from
Jan 17, 2025

Conversation

lapla-cogito
Copy link
Contributor

fix #14015

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented Jan 17, 2025

r? @blyxyas

rustbot has assigned @blyxyas.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Jan 17, 2025
@SylvainDe
Copy link

Looks good to me!

blyxyas
blyxyas approved these changes Jan 17, 2025
View reviewed changes
Copy link
Member

@blyxyas blyxyas left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks! ❤️

@blyxyas blyxyas added this pull request to the merge queue Jan 17, 2025
Merged via the queue into rust-lang:master with commit e359e88 Jan 17, 2025
11 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@blyxyas blyxyas blyxyas approved these changes

Assignees

@blyxyas blyxyas

Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties
Projects
None yet
Milestone
No milestone
4 participants
@lapla-cogito @rustbot @SylvainDe @blyxyas