c9fe40ea
71558f1f
* commit 'c9fe40ead549ff18393c0cc5c6e3bd67548f9da6': Fix times in debugging output to use H rather than k.