> The change is ok. I would find a slightly different message nicer. https://lore.kernel.org/cocci/35aa94ff-b101-75b1-9bca-20afef883...@web.de/ https://systeme.lip6.fr/pipermail/cocci/2019-September/006339.html
Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci