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
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