Skip to content

Conversation

gwenneg
Copy link
Member

@gwenneg gwenneg commented Dec 7, 2019

I made a mistake while merging #5997 and now the master build is broken.

This fixes the build.

@jaikiran
Copy link
Member

jaikiran commented Dec 7, 2019

Hello @gwenneg, (not an official approver) but this looks good to me. I think since all CI checks have passed and you have commit access, I think you should merge this.

@gwenneg
Copy link
Member Author

gwenneg commented Dec 7, 2019

Thanks for taking a look at it @jaikiran! I'll follow your opinion since there is absolutely zero chance this PR could cause any problem to master. Well, actually it does not seem possible for me to merge without the approval of someone else with write access.

@gwenneg gwenneg removed request for geoand and gsmet December 7, 2019 06:46
@gsmet gsmet merged commit de21598 into quarkusio:master Dec 7, 2019
@gsmet gsmet added this to the 1.1.0 milestone Dec 7, 2019
@gwenneg
Copy link
Member Author

gwenneg commented Dec 7, 2019

Thanks @gsmet

@gwenneg gwenneg deleted the issue-5997-fix-imports branch December 7, 2019 09:11
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.

4 participants