Skip to content

fix formatting issue

quarkus-bot / Check Pull Request - Merge commits succeeded Jul 16, 2024 in 0s

Summary

This check concluded as success.