> Anyway it might also make more sense to put something like this > into one of the build-bots rather than push it into mainline for general > use.
I think that the build-bots take from the mainline. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
