Adjust extension name for consistency with rest of Quarkus #36451
quarkus-bot / Check Pull Request - Merge commits
succeeded
Oct 12, 2023 in 0s
Summary
This check concluded as success.
Loading