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.

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

[Port dspace-7_x] Fix mouse cursor on language dropdown menu #2526

Merged
merged 1 commit into from
Sep 26, 2023

Conversation

dspace-bot
Copy link
Contributor

Port of #2525 by @davide-negretti to dspace-7_x.

@dspace-bot dspace-bot added 1 APPROVAL pull request only requires a single approval to merge bug labels Sep 26, 2023
@alanorth
Copy link
Contributor

Merging port of of very simple patch from main ASAP.

@alanorth alanorth merged commit 19eec6a into dspace-7_x Sep 26, 2023
6 of 7 checks passed
@alanorth alanorth deleted the backport-2525-to-dspace-7_x branch September 26, 2023 19:09
@tdonohue tdonohue added this to the 7.6.1 milestone Sep 27, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
1 APPROVAL pull request only requires a single approval to merge bug
Projects
Development

Successfully merging this pull request may close these issues.

4 participants