chiark / gitweb /
Generate a different patch name if it already exists
authorCatalin Marinas <catalin.marinas@gmail.com>
Sat, 8 Nov 2008 21:18:09 +0000 (21:18 +0000)
committerCatalin Marinas <catalin.marinas@gmail.com>
Sat, 8 Nov 2008 21:36:10 +0000 (21:36 +0000)
This is a fix for bug #12518. If the patch name already exists, the pick
command generates another by appending a numbered suffix.

Signed-off-by: Catalin Marinas <catalin.marinas@gmail.com>

No differences found