Re: [PATCH] docs: dev-tools: correct Coccinelle version number
From: Jonathan Corbet
Date: Thu Oct 19 2017 - 14:55:49 EST
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