On Fri, Nov 03, 2023 at 08:55:54AM +0000, Ruei-Bang Chen wrote: > Hi Willy, > > The simplification makes sense! I don't mind you changing it at all. I really > appreciate the feedback from you.
Perfect, that's merged now :-) Thank you for doing this work! Willy
