Add metric for log recompacting #439

Merged
merged 1 commit into from Oct 4, 2012
Commits on Oct 4, 2012