Re: [PATCH] docs: dev-tools: correct Coccinelle version number

On Sun, 15 Oct 2017 11:24:08 +0200 Julia Lawall wrote: > There is no Coccinelle version 1.2. 1.0.2 must be what was intended. > > Signed-off-by: Julia Lawall Applied, thanks. jon -- To unsubscribe from this list: send the line "unsubscribe

[PATCH] docs: dev-tools: correct Coccinelle version number

There is no Coccinelle version 1.2. 1.0.2 must be what was intended. Signed-off-by: Julia Lawall --- Documentation/dev-tools/coccinelle.rst |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Documentation/dev-tools/coccinelle.rst