Re: [PATCH 1/1] git-mailrc: remove invalid entry 'efi'