Commit 3d03bb84d44bc9ef8a77e974d0e937a3385ffb92

Ebrahim Byagowi 2019-07-21T12:38:04

[metrics] minor, tweak comment