tree 3f8b8b1e798773e521f0deacf7fe8e5bbab2ea2b
parent 4a6a67461d5c437ee4bde099593f8483933b641e
author Carlos Martín Nieto <cmn@dwim.me> 1431617169 +0200
committer Carlos Martín Nieto <cmn@dwim.me> 1431617169 +0200

local: plug a leak in the progress reporting