[PATCH] Re: Weird compile result -- bug?

[Richard Kimberly Heck]

On 10/17/21 11:15, Jürgen Spitzmüller wrote:
> Am Sonntag, dem 17.10.2021 um 11:34 +0200 schrieb Jürgen Spitzmüller:
>> Could somebody please commit to master? I still cannot connect to the
>> git server.
> I solved the connection issues and will commit myself.
>
>> Riki, this might also be candidate for stable. If you think so,
>> please cherry-pick.
> Just let me know, I can do that.

Please go ahead.

Riki