On Fri, 13 Nov 2020 23:25:31 +0200 Lev Stipakov wrote: > > Since there are no dependencies between the patches here you could have > > gone for separate patches here. > > Shall I re-send those 3 patches separately or can we proceed with those > in the (sub-optimal) form they've been already sent? Resend would be great, please keep Heiner's review tags.