On Okt 03 2018, Christophe LEROY <christophe.le...@c-s.fr> wrote: > Did you try my proposed fix https://patchwork.ozlabs.org/patch/977195/ ?
That works as well. Andreas. -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."