Skip to content

Conversation

@aloubyansky
Copy link
Member

No description provided.

@boring-cyborg boring-cyborg bot added the area/devtools Issues/PR related to maven, gradle, platform and cli tooling/plugins label Jun 30, 2020
@gastaldi gastaldi added this to the 1.7.0 - master milestone Jun 30, 2020
Copy link
Contributor

@gastaldi gastaldi left a comment

Choose a reason for hiding this comment

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

LGTM

@aloubyansky aloubyansky merged commit 0e48789 into quarkusio:master Jul 1, 2020
@gsmet gsmet modified the milestones: 1.7.0 - master, 1.6.0.Final Jul 1, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/devtools Issues/PR related to maven, gradle, platform and cli tooling/plugins

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants