chiark / gitweb /
Remove kill checks