On Thu, 5 Jan 2023, Segher Boessenkool wrote: > Happy new year everyone. > > Is this patch okay to commit?
>From a wwwdocs perspective, yes. Are you also *asking* from an architectural/"strategic" perspective, or simply *informing*? :-) The former I cannot approve, the latter I certainly can. Gerald