is there a reason why there is no small commits on github ? It could help people like me to understand how things are working and help them to fix potential "small" issues.Too complicated for my way of working.
I am curious to know a bit more about related issues. Can any versioning steps be improved here?
Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
