On Thu, Jan 24, 2019 at 2:20 PM Julia Lawall <[email protected]> wrote: > > This should be fixed in the version on github. Please try again.
Yes, it works, thanks. _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
