Re: [Cocci] coccinelle issues

Sun, 14 Jun 2020 01:51:33 -0700 


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

OK, this problem has occurred before.  I think we should add openSUSE to
our CI.

Thanks for the report.

julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci























					Reply via email to