Er, I believe you already submitted this with Manuel's review. In the future, please have him actually mark the review on the mailing list so its clear to others that it was in fact reviewed. http://reviews.llvm.org/D7289 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/