## Coq contributors ## ## This file allows joining the different accounts of a same person. ## Cf for instance: git shortlog -nse. More details via: man git shortlog ## ## To avoid spam issues, we use by default a pseudo-email ## for all persons that haven't made commits with real emails ## ## If you're mentionned here and want to update your information, ## either amend this file and commit it, or contact the coqdev list Bruno Barras barras Bruno Barras barras-local Yves Bertot bertot Yves Bertot Yves Bertot Frédéric Besson fbesson Pierre Boutillier pboutill Pierre Boutillier Pierre Pierre Boutillier Pierre Boutillier Xavier Clerc xclerc Xavier Clerc xclerc Pierre Corbineau corbinea Judicaël Courant courant Pierre Courtieu courtieu # uncapitalises the email address: Pierre Courtieu Pierre Courtieu David Delahaye delahaye Maxime Dénès mdenes Daniel De Rauglaudre ddr Olivier Desmettre desmettr Damien Doligez doligez Jean-Christophe Filliâtre filliatr Julien Forest jforest Julien Forest forest Julien Forest jforest Stéphane Glondu glondu # corrects accent: Stéphane Glondu Stephane Glondu Benjamin Grégoire bgregoir Benjamin Grégoire gregoire Jason Gross Jason Gross Vincent Gross vgross Huang Guan-Shieng huang Hugo Herbelin herbelin # uncapitalises the email address: Hugo Herbelin Hugo Herbelin Tom Hutchinson thutchin Cezary Kaliszyk cek Florent Kirchner fkirchne Florent Kirchner kirchner Pierre Letouzey letouzey Assia Mahboubi amahboub Evgeny Makarov emakarov Gregory Malecha Gregory Malecha Lionel Elie Mamane lmamane Claude Marché marche Micaela Mayero mayero Guillaume Melquiond gmelquio Alexandre Miquel miquel Benjamin Monate monate Julien Narboux jnarboux Julien Narboux narboux Jean-Marc Notin notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty Jean-Marc Notin notin Russel O'Connor roconnor Christine Paulin cpaulin Christine Paulin mohring Pierre-Marie Pédrot ppedrot Loïc Pottier pottier Matthias Puech puech Yann Régis-Gianas regisgia Clément Renard clrenard Claudio Sacerdoti Coen sacerdot Vincent Siles vsiles Elie Soubiran soubiran Matthieu Sozeau msozeau Matthieu Sozeau Matthieu Sozeau Arnaud Spiwack aspiwack Enrico Tassi gareuselesinge # uncapitalizes the email address Enrico Tassi Enrico Tassi Enrico Tassi Enrico Tassi Laurent Théry thery Benjamin Werner werner # Anonymous accounts anonymous < > coq anonymous < > (no author) <(no author)@85f007b7-540e-0410-9357-904b9bb8a0f7> anonymous < > serpyc