chiark / gitweb /
fix rm of debian/patches not to mind if there aren't any