I could have merged that either way, actually. I wasn't sure which one was more preferable. http://reviews.llvm.org/D6985 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/