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

fix pom #639

Merged
merged 1 commit into from
Jul 26, 2023
Merged

fix pom #639

merged 1 commit into from
Jul 26, 2023

Conversation

EtienneLt
Copy link
Contributor

Please check if the PR fulfills these requirements

  • The commit message follows our guidelines
  • Tests for the changes have been added (for bug fixes / features)
  • Docs have been added / updated (for bug fixes / features)

Does this PR already have an issue describing the problem?

What kind of change does this PR introduce?

What is the current behavior?

What is the new behavior (if this is a feature change)?

Does this PR introduce a breaking change or deprecate an API?

  • The Breaking Change or Deprecated label has been added
  • The migration guide has been updated in the github wiki (What changes might users need to make in their application due to this PR?)

Other information:

Signed-off-by: Etienne LESOT <[email protected]>
@EtienneLt EtienneLt merged commit 58511c7 into main Jul 26, 2023
7 checks passed
@EtienneLt EtienneLt deleted the fix-pom branch July 26, 2023 08:12
geofjamg pushed a commit that referenced this pull request Aug 16, 2023
Signed-off-by: Etienne LESOT <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants