Re: [Cocci] coccinelle issues

[Julia Lawall]

On Sun, 14 Jun 2020, Mike Galbraith wrote:

> On Sun, 2020-06-14 at 10:43 +0200, Julia Lawall wrote:
> >
> > What is your Linux distribution?
>
> openSUSE Leap-15.1

Our CI already has an entry for openSUSE Leap.  We will look into it, but
if you have any further information about the problem, please let us know.

thanks,
julia
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci