Re: [cocci] Separating label from previous key word display

> OK.  If you had written something like:
> 
> Shouldn't:
> 
>>>> gotospecial_target
> be
> 
>>>> goto special_target
> I could have known immediately what you were talking about.

Thanks for your corresponding adjustment “add space after goto token”.
https://gitlab.inria.fr/coccinelle/coccinelle/-/commit/91665c5ff245fcd23a36bc0ba9662e02c731bbcb

Regards,
Markus