Re: scripts/coccicheck: Update for a comment?

[Julia Lawall]

On Fri, 7 Oct 2016, SF Markus Elfring wrote:

> Hello,
>
> Information from a commit like "docs: sphinxify coccinelle.txt and add it
> to dev-tools" caught also my software development attention.
> https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/Documentation/coccinelle.txt?id=4b9033a33494ec9154d63e706e9e47f7eb3fd59e
>
> Did an other information from a comment become outdated in the script "coccicheck"
> because of such changes for the documentation format?
> https://git.kernel.org/cgit/linux/kernel/git/next/linux-next.git/tree/scripts/coccicheck?id=c802e87fbe2d4dd58982d01b3c39bc5a781223aa#n4

How about submitting a patch to fix the problem?

julia