[3.8] Use the correct extension names for 3.8 #41901
Merged
quarkus-bot / Check Pull Request - Merge commits
succeeded
Jul 15, 2024 in 0s
Summary
This check concluded as success.
Loading