th the incremental patch attached.
>
>
> I'm also again attaching the complete patch that we'd like to commit to
> trunk; Jakub, OK? If approving this patch, please respond with
> "Reviewed-by: NAME " so that your effort will be recorded in the
> commit log,
with
"Reviewed-by: NAME " so that your effort will be recorded in the
commit log, see <https://gcc.gnu.org/wiki/Reviewed-by>.
Grüße
Thomas
>From 8f36a7d620b3e1d0130b352dc02d58c066c7ba92 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge
Date: Fri, 21 Dec 2018 11:28:49 +0100
Sub
