Send a mail to julia@diku.dk or yoann.padioleau@gmail.com with [Bug-Cocci] as
a prefix in the subject of your mail.