Fix deprecated dev-v1 url with dev-ui in a few places #37314
Merged
quarkus-bot / Check Pull Request - Merge commits
succeeded
Nov 28, 2023 in 0s
Summary
This check concluded as success.
Loading