On Thu, Jun 14, 2018 at 04:27:04PM +0200, Olivier Houchard wrote: > Attached are 2 patches that fix a few bugs in the tasklet code. > It should have little incidence right now because tasklets are unused, but > will be useful for later work.
Applied, thank you! Willy