ping, so that llvm-commits sees this (forgot to subscribe llvm-commits when I created the patch). http://reviews.llvm.org/D10633 EMAIL PREFERENCES http://reviews.llvm.org/settings/panel/emailpreferences/