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