chiark / gitweb /
Show progress of various things in log, with milliseconds