On Wed, Dec 14, 2022 at 12:05 AM Christian König
<christian.koenig@xxxxxxx> wrote:
>
> Anyway we need to re-apply b09d6acba1d9 which should be trivial.
Note that my resolution did exactly that (*), it's just that when I
double-checked against Dave's suggested merge that I noticed I'd done
things differently than he did.
(*) Well, when I say "did exactly that" I don't actually know some of
the other fencing changes that happened, so there may be a reason why
something further should still be done. So I can only point to my
merge commit a594533df0f6 and ask people to verify.
It does all at least work for me. Knock wood.
Linus
