On 22 October 2021 22:03:08 CEST, Jakub Kicinski <kuba@xxxxxxxxxx> wrote: >You missed the previous PR by like 15 min :( :-) >Next one on Thursday, I think. Good enough? Sure, it's just a small cleanup anyway, I didn't want to have a conflict for something that unimportant. Thanks, johannes -- Sent from my phone.
