Bump metrics-core from 4.1.12.1 to 4.2.13#140

dependabot[bot] wants to merge 1 commit intomastervatbub/fokLauncher:masterfrom

dependabot/maven/io.dropwizard.metrics-metrics-core-4.2.13vatbub/fokLauncher:dependabot/maven/io.dropwizard.metrics-metrics-core-4.2.13Copy head branch name to clipboard