I'm ok with your revised approach. I can't say that I understand how it works in all cases, but I trust that it's better than your previous fix. http://reviews.llvm.org/D9993 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/