Ping? If there's no objection, I'd like to submit this. http://reviews.llvm.org/D10271 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/