Sorry, thought I'd already signed off on this - but I guess it was some other header migration. http://reviews.llvm.org/D6695 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/