On 14.1.2012 22:52, Artem Bityutskiy wrote: > On Sat, 2012-01-14 at 23:38 +0200, Artem Bityutskiy wrote: >> On Sat, 2012-01-14 at 18:35 +0100, Julia Lawall wrote: >>> From: Julia Lawall <[email protected]> >>> >>> This patch ensures that all semantic patches in the scripts/coccinelle >>> directory provide the report option. Report messages that include line >>> numbers now have the line number preceded by "line" for easier subsequent >>> processing. >>> >>> Signed-off-by: Julia Lawall <[email protected]> >> >> Julia, thanks a lot for this harmonization effort! >> >> I did not do detailed review, but looks good. >> >> Signed-off-by: Artem Bityutskiy <[email protected]> > > Adding Michal to "To:", since you apparently merge via his tree. Michal, > would you please pick this one as well?
Yes. My .procmail catched this thread, but thanks for adding me nevertheless :-). Michal _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
