291a140f
6d3b1338
c9fe40ea
71558f1f
* commit '291a140fe6ffe6fcc459eff88bd14486d58cf21c': Fix times in debugging output to use H rather than k.