Merge pull request #1039 from roidelapluie/update-common
authorJulien Pivotto <roidelapluie@o11y.eu>
Mon, 15 May 2023 16:39:30 +0000 (18:39 +0200)
committerGitHub <noreply@github.com>
Mon, 15 May 2023 16:39:30 +0000 (18:39 +0200)
Update prometheus/common


Trivial merge