[pull] main from quarkusio:main#720

pull[bot] merged 2 commits intobschuhmann:mainbschuhmann/quarkus:mainfrom

quarkusio:mainquarkusio/quarkus:mainCopy head branch name to clipboard