On Okt 09 2019, Dmitry Goldin <dgoldin@protonmail.ch> wrote:> Andreas: Could you give this patch a try and see if this works for you?Thanks, works for me.Andreas.-- Andreas Schwab, schwab@linux-m68k.orgGPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1"And now for something completely different."