Jakub wrote:
>> Ok to commit?
>
> Ok, thanks, but:

Done, r206966.

> Put your real name here instead.
>    PR sanitizer/57316

Oh my, fixed.

-Y

Reply via email to