On Mon, 11 Jan 2016, Jakub Jelinek wrote:
> This patch is ok for trunk with proper attribution in the ChangeLog.

I went ahead and applied the patch myself.

Thanks.

Alexander

Reply via email to