-
Notifications
You must be signed in to change notification settings - Fork 30k
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
doc: remove space above version picker #34768
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Nice catch! Thanks for the PR. :)
You may be able to circumvent this UI problem by adjusting the zoom of your browser while you wait. |
Looks like an alternative to #34768. |
@richardlau I assume you meant #34447 ? |
That might be a useful alternative to consider, but for now, I would just add the following to the commit message when landing.
We can reinvestigate the alternative later, there's likely more to be done in this area. |
Landed in 6f0b87d, thanks for the PR! |
Fixes: #34767
Before
After
Checklist
make -j4 test
(UNIX), orvcbuild test
(Windows) passes