| 5f08b0309190ec818d46bfe0e497468b30714a93 |
|
29-Dec-2017 |
Timo Sirainen <timo.sirainen@dovecot.fi> |
global: Rename timing API to stats-dist API
The API wasn't really about timings specifically, but about statistics in
general. The new stats service was already using it for tracking statistics
for non-timing related numbers. |