Update MicroProfile Metrics to 5.1.0 final release#657

Merged

Channyboy merged 1 commit intosmallrye:micrometerfrom Channyboy:micromter-mpm51-bump-to-MPMetrics-5.1.0

Oct 12, 2023

+1-1

Commits on Oct 12, 2023

Update MicroProfile Metrics to 5.1.0 final release
Channyboy
committed