Code

git-send-email: avoid duplicate message-ids