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 the name of the microprofile-config.properties file #15989

Merged
merged 1 commit into from
Mar 24, 2021

Conversation

loicmathieu
Copy link
Contributor

@loicmathieu loicmathieu commented Mar 24, 2021

Fixes #15981

@gsmet
Copy link
Member

gsmet commented Mar 24, 2021

Thanks, good catch!

@geoand
Copy link
Contributor

geoand commented Mar 24, 2021

Does this fix #15981 ?

If so, please mark it as so in the description :)

@loicmathieu
Copy link
Contributor Author

@geoand yes, it fixes #15981 I didn't was this one.
I'll update the description of the PR to fix the issue when merged

@loicmathieu loicmathieu modified the milestone: 1.14 - main Mar 24, 2021
@geoand geoand merged commit 0344d52 into quarkusio:main Mar 24, 2021
@quarkus-bot quarkus-bot bot added this to the 1.14 - main milestone Mar 24, 2021
@loicmathieu loicmathieu deleted the fix/config-location branch March 24, 2021 13:28
@gsmet gsmet modified the milestones: 1.14 - main, 1.13.1.Final Apr 3, 2021
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.

Misleading Embeddable Configuration Documentation
3 participants