On Tue, 2020-12-15 at 13:53 +0100, Laurenz Albe wrote:> Attached is patch version 9.
Aah, I forgot the ++.Version 10 attached.
Yours,Laurenz Albe