diff: handle the dashed-line footer in patches created by git format-patch