[Cocci] New Coccinelle release?

[Omar Sandoval]

It's been a year and a half since the last release of coccinelle but
there have been many changes since then. Would it be possible to get a
new official release?

[Julia Lawall]

Post by Omar Sandoval
It's been a year and a half since the last release of coccinelle but
there have been many changes since then. Would it be possible to get a
new official release?

There always seems to be one more small bug remaining. We will try to
take care of this soon. In any case, the version on github is always
stable. We do the actual work elsewhere.

julia

[SF Markus Elfring]

Hello,

I have noticed a moment ago that a few additional commits were published.
It might be nice to test this development a bit more.

I submitted the command “make distclean” and built the software by the
command “./autogen && ./configure && make world” as usual.
But I wonder about the message “Nothing to be done for 'docs'”.

Regards,
Markus