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

Reply via email to