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

From: Junio C Hamano <[email-masked]>
Date: Thu, 04 Feb 2021 17:34:42 -0800

This is probably something that is very obvious for GitHub folks or
a debian person, but does anybody know what made it suddenly wrong
that we have been doing to obtain coccinelle?

https://github.com/git/git/runs/1835560289?check_suite_focus=true#step:3:108