On Tue, Jun 23, 2020 at 07:11:49PM +0200, Julia Lawall wrote:> It looks like the put_device (line 891) should be one line earlier.> Yikes - thanks for that.I'll be sure to coccinelle my code before submitting from now on.Cheers,Kent.