chiark / gitweb /
execute: fix losing of start timestamps