commit | f28894ebd65ac148e8b97532c76a861c84987cb9 | [log] [tgz] |
---|---|---|
author | Congbin Guo <[email protected]> | Tue Sep 24 20:30:19 2019 |
committer | Congbin Guo <[email protected]> | Tue Sep 24 20:32:27 2019 |
tree | 5bd12f41dce8a40737dbc1b75c482030eadf160d | |
parent | c81950e2099b10f211cd45b315fd006ee1e4633c [diff] |
devserver metrics: fix a metric name issue This CL fixes a wrong metric name. BUG=None TEST=None Change-Id: Id65ebdc3f0c2b7cccc5407c44a0a501b0738e256 Reviewed-on: https://chromium-review.googlesource.com/c/chromiumos/platform/dev-util/+/1823360 Reviewed-by: Congbin Guo <[email protected]> Commit-Queue: Congbin Guo <[email protected]> Tested-by: Congbin Guo <[email protected]> Auto-Submit: Congbin Guo <[email protected]>