Re: [PATCH] Install sanitizer public headers (fix for PR sanitizer/61100)

[Yury Gribov]

On 05/14/2014 10:46 AM, Jakub Jelinek wrote:

Ok.

Thanks, submitted in r210413.

-Y