chiark / gitweb /
Slightly change the multiple patches delete function