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

Admin / Schematron / Fix icon in rules #8569

Merged
merged 1 commit into from
Dec 17, 2024
Merged

Admin / Schematron / Fix icon in rules #8569

merged 1 commit into from
Dec 17, 2024

Conversation

fxprunayre
Copy link
Member

Fix font size related to JQuery update

image

Checklist

  • I have read the contribution guidelines
  • Pull request provided for main branch, backports managed with label
  • Good housekeeping of code, cleaning up comments, tests, and documentation
  • Clean commit history broken into understandable chucks, avoiding big commits with hundreds of files, cautious of reformatting and whitespace changes
  • Clean commit messages, longer verbose messages are encouraged
  • API Changes are identified in commit messages
  • Testing provided for features or enhancements using automatic tests
  • User documentation provided for new features or enhancements in manual
  • Build documentation provided for development instructions in README.md files
  • Library management using pom.xml dependency management. Update build documentation with intended library use and library tutorials or documentation

@fxprunayre fxprunayre added this to the 4.4.7 milestone Dec 17, 2024
@fxprunayre fxprunayre requested a review from josegar74 December 17, 2024 10:01
@sonarqubecloud SonarQubeCloud
Copy link

Quality Gate Passed Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud

josegar74
josegar74 approved these changes Dec 17, 2024
View reviewed changes
Copy link
Member

@josegar74 josegar74 left a comment

Choose a reason for hiding this comment

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

Tested, works fine.

@josegar74 josegar74 merged commit d975d52 into main Dec 17, 2024
12 checks passed
@geonetworkbuild geonetworkbuild mentioned this pull request Dec 17, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@josegar74 josegar74 josegar74 approved these changes

Assignees
No one assigned
Labels
backport 4.2.x
Projects
None yet
Milestone
4.4.7
Development

Successfully merging this pull request may close these issues.
2 participants
@fxprunayre @josegar74