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

jboss-parent:40 still manages jdk-misc, but does not define version.jdk-misc anymore #237

Merged
merged 1 commit into from
Nov 8, 2023

Conversation

ppalaga
Copy link
Contributor

@ppalaga ppalaga commented Nov 8, 2023

fix #236

Copy link
Member

@dmlloyd dmlloyd left a comment

Choose a reason for hiding this comment

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

This is mainly a cleanup; having this here doesn't harm anything but it should definitely be removed. LGTM.

@dmlloyd
Copy link
Member

dmlloyd commented Nov 8, 2023

Actually, not as harmless as I thought!

@dmlloyd dmlloyd merged commit cb06f66 into jboss:main Nov 8, 2023
1 check passed
@ppalaga
Copy link
Contributor Author

ppalaga commented Nov 9, 2023

Thanks for merging, @dmlloyd! Is there any estimate when we can expect release 41?

@dmlloyd
Copy link
Member

dmlloyd commented Nov 9, 2023

It's already released, however it will not appear on mirrors until tomorrow. Note that dependabot is already trying to update it on some projects though (with predictable results); tomorrow we can re-run failed jobs on those PRs and hopefully they'll clean up.

@ppalaga
Copy link
Contributor Author

ppalaga commented Nov 9, 2023

Great to hear that, thanks a lot!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

jboss-parent:40 still manages jdk-misc, but does not define version.jdk-misc anymore
2 participants