I was trying to be too clever with git-sendmail and I accidentally sent that message to the wrong list. Please ignore it. Sorry about that. - Neil