Hello, Martin.

On Sun, Jan 03, 2021 at 19:24:03 +0100, martin rudalics wrote:
>  > Here's the current version of the patch,
>  > which might well be ready to commit.  As already said, I'd be grateful
>  > for anybody who tests it.  Thanks!

> Please send it as attachment, here the linefeeds got lost and it doesn't
> apply.

OK, here it is!

> Thanks, martin

-- 
Alan Mackenzie (Nuremberg, Germany).