>> Ok to commit?
> Sure, that was the "Ok, thanks." in the previous mail.

Commited in r205704.

-Y

Reply via email to