On Sun, 15 Oct 2017 11:24:08 +0200 Julia Lawall <Julia.Lawall@xxxxxxx> wrote: > There is no Coccinelle version 1.2. 1.0.2 must be what was intended. > > Signed-off-by: Julia Lawall <Julia.Lawall@xxxxxxx> Applied, thanks. jon -- To unsubscribe from this list: send the line "unsubscribe linux-doc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
