> The repository on GitHub is now a mirror of the main developemnt repository.
This evolution is a nice improvement. - Thank you. I am very curious on how our constructive dialogue will evolve further. Is it correct that no additional (topic) branches are provided so far? Are there any plans to adjust the affected software development process a bit more? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
