Skip to content

Update servant-prometheus library to get conforming metric names

Administrator requested to merge github/fork/hacklschorsch/rename-metrics into main

Created by: hacklschorsch

@exarkun Please, as you always do, check this very carefully. This time I know even less what I am doing than usual.

Merge request reports