chiark / gitweb /
fix job merging