tools/patch-renumber.sh
2008-08-04 Add a new tool to renumber a patch directory.