Re: [Cocci] [PATCH 4/4] coccicheck: add indexing enhancement options

SF Markus Elfring
2016-06-11T05:55:34Z

> in practice though this seems to not perform better than
> regular grep however its expected to help with some use cases
> so we use that if you have no other indexing options in place
> available.

Would you like to fix a typo in this paragraph?

Regards,
Markus