chiark / gitweb /
execute: simplify appending to execution list