Re: scripts/coccicheck: Update for a comment?

From: Julia Lawall
Date: Fri Oct 07 2016 - 01:50:52 EST

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.
> Did an other information from a comment become outdated in the script "coccicheck"
> because of such changes for the documentation format?

How about submitting a patch to fix the problem?