]> git.cworth.org Git - fips/commitdiff
Prefer "info" over "metrics_info" for variable name.
authorCarl Worth <cworth@cworth.org>
Wed, 23 Oct 2013 01:53:31 +0000 (18:53 -0700)
committerCarl Worth <cworth@cworth.org>
Wed, 23 Oct 2013 01:53:31 +0000 (18:53 -0700)
All other functions were already using the shorter name. This one had
the longer name for some reason, which made it a bit more awkward to
read.


No differences found