Skip to content

chore: remove special character from pom.xml#1916

Merged
krisstern merged 1 commit into
jenkinsci:masterfrom
krisstern:chore/remove-special-character-from-pom-xml
Jun 17, 2026
Merged

chore: remove special character from pom.xml#1916
krisstern merged 1 commit into
jenkinsci:masterfrom
krisstern:chore/remove-special-character-from-pom-xml

Conversation

@krisstern

@krisstern krisstern commented Jun 17, 2026

Copy link
Copy Markdown
Member

Testing done

Submitter checklist

  • Make sure you are opening from a topic/feature/bugfix branch (right side) and not your main branch!
  • Ensure that the pull request title represents the desired changelog entry
  • Please describe what you did
  • Link to relevant issues in GitHub or Jira
  • Link to relevant pull requests, esp. upstream and downstream changes
  • Ensure you have provided tests that demonstrate the feature works or the issue is fixed

@krisstern krisstern requested a review from a team as a code owner June 17, 2026 17:25
@github-actions github-actions Bot added the dependencies Pull requests that update a dependency file label Jun 17, 2026
@krisstern krisstern merged commit 5638d83 into jenkinsci:master Jun 17, 2026
2 of 4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file skip-changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant