@mattly @technomancy I can push them when my workday ends in 30-60 min, but did you want your authorship + whatever commit message to be included?
I sent mine as just a diff earlier since I didn't care if you rolled it into a larger patch you were working on, but if you want to do a quick git format-patch -1 to send a full commit patch, I can just wait and apply that instead =)