Last modified: 2014-07-14 22:13:08 UTC
It's unused now.
We still need to 1) get Trevor to look at whether it actually needs to die and 2) update callers, including ones which pass the parameter through
Fair point. Whoops. :-) Relabelling.
Done in Gerrit change #141089.