> The change is ok. I would find a slightly different message nicer. https://lore.kernel.org/cocci/[email protected]/ https://systeme.lip6.fr/pipermail/cocci/2019-September/006339.html
Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
