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