Just wanted to ping this change and see if we can't get this committed if it's good to go? http://reviews.llvm.org/D4377 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/