Hi,

On 27.11.2020 16:53, Michael Tremer wrote:
> Did I miss a patch?

Errm...no ...this is the only fault of my 'Devel'. Sort of.

Sorry - I checked but overlocked that the 'Devel' was already building
5.26.0.

Forget this patch - I'll send a new one.

Best,
Matthias