On Wed, Nov 15, 2023 at 11:31:12AM +0100, Florian Westphal wrote: > Pablo Neira Ayuso <pablo@xxxxxxxxxxxxx> wrote: > > I can skip it by now, that is easy, I was just trying not to reduce > > coverage. > > Sure, I understand that, but OTOH I think there are limitations > as to what we should provide for, in this case the work/benefit ratio > is quite bad... It can be done later, that is what the commit description said.
