> Hi Christoph, > > I've sent a patch for this, it should be merged after review. Sorry for > the inconvenience!
All is well now. The change is available in github. julia _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
