chiark / gitweb /
consistency check: Tolerate done children on intdone