contrib / coccinelle / .gitignoreon commit Merge branch 'rs/cocci' into maint (c8fd220)
   1*.patch*