On 08/08/2014 12:09 PM, Jakub Jelinek wrote:
> Ok, thanks.

Done in r213807.

-Y

Reply via email to