chiark / gitweb /
Update how the printing time remaining estimate is calculated. This gives better...