Diego wrote:
>> Ok to commit?
>
> OK. Thanks.

Done in r207265.

-Y

Reply via email to