PR #4839 Migrate `metrics.py` from `.value` to `[...]`

Migrate `metrics.py` from `.value` to `[...]` #4839

lukeyeh wants to merge 1 commit into google:main from lukeyeh:push-zurrmyvvqyok

Migrate `metrics.py` from `.value` to `[...]`

f7149d7f

lukeyeh marked this pull request as ready for review 171 days ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone