mirror of https://github.com/prometheus/prometheus
Merge pull request #15417 from huochexizhan/main
chore: fix some function names in commentpull/13642/merge
commit
e8003cb347
Loading…
Reference in new issue