Friendly PING.
This patch also fixes an issue raised last month by another commenter:
http://lists.llvm.org/pipermail/cfe-dev/2016-May/048799.html
Regards,
Ben
Friendly PING.
This patch also fixes an issue raised last month by another commenter:
http://lists.llvm.org/pipermail/cfe-dev/2016-May/048799.html
Regards,
Ben
I have done so, and taken the liberty of assigning you as a reviewer. Hope that’s OK.
Regards,
Ben