tools / .gitignoreon commit [PATCH] git bugfixes and cleanups, mainly Debian things (c68e10b)
   1git-mailinfo
   2git-mailsplit