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

[Jonathan Corbet]

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