Skip to content

Fix inconsistent metric name

vlorentz requested to merge metric-name into master

It was noted while reviewing !14 (diffs, comment 138572), but I forgot to apply the change

swh/meta#5035

Edited by vlorentz

Merge request reports