git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [rfh] where is coccinelle these days on Ubuntu?

From
Junio C Hamano <gitster@pobox.com>
Date
Feb 10, 2021, 00:12 UTC
Message-ID
<xmqqlfbwye4m.fsf@gitster.c.googlers.com>
In-Reply-To
<YCGrmsg8J7XT32TM@nand.local>
Taylor Blau <me@ttaylorr.com> writes:
Show 5 quoted lines
> So, I guess we could continue to run on 18.04 until there is a focal
> coccinelle. Below would be the way to do that...
>
> Thanks,
> Taylor

Thanks. Let's merge this down to 'next', 'master' and then to 'maint'.

Previous: Taylor Blau
Message 5 of 5 in “[rfh] where is coccinelle these days on Ubuntu?”
  1. Junio C HamanoFeb 5, 2021
  2. Taylor BlauFeb 5, 2021
  3. Junio C HamanoFeb 6, 2021
  4. Taylor BlauFeb 8, 2021
  5. Junio C HamanoFeb 10, 2021

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.