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

Override the Jandex version used by jandex-maven-plugin in build-parent #1920

Closed
mkouba opened this issue Apr 8, 2019 · 0 comments · Fixed by #1921
Closed

Override the Jandex version used by jandex-maven-plugin in build-parent #1920

mkouba opened this issue Apr 8, 2019 · 0 comments · Fixed by #1921
Assignees
Labels
area/user-experience Will make us lose users kind/bug Something isn't working
Milestone

Comments

@mkouba
Copy link
Contributor

mkouba commented Apr 8, 2019

For now we need to override and hardcode the jandex version - see also wildfly/jandex-maven-plugin#13.

@mkouba mkouba added this to the 0.14.0 milestone Apr 8, 2019
@mkouba mkouba self-assigned this Apr 8, 2019
mkouba added a commit to mkouba/quarkus that referenced this issue Apr 8, 2019
@FroMage FroMage added kind/bug Something isn't working area/user-experience Will make us lose users labels Apr 8, 2019
mkouba added a commit to mkouba/quarkus that referenced this issue Apr 8, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/user-experience Will make us lose users kind/bug Something isn't working
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants