Re: [Cocci] coccinelle issues

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

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

openSUSE Leap-15.1
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to