Yeah I was also thinking about such an option, but it seems orthogonal to the option I implemented here IMO. Mehdi http://reviews.llvm.org/D6948 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/