From 9043add656177eeac1491a73d2f3ab92bec0013c Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sat, 29 Dec 2018 14:31:27 -0500 Subject: Imported Upstream version 8.8.2 --- .mailmap | 93 ---------------------------------------------------------------- 1 file changed, 93 deletions(-) delete mode 100644 .mailmap (limited to '.mailmap') diff --git a/.mailmap b/.mailmap deleted file mode 100644 index 51c8778f..00000000 --- a/.mailmap +++ /dev/null @@ -1,93 +0,0 @@ -## 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 - -Jim Apple jbapple -Bruno Barras barras -Bruno Barras barras-local -Yves Bertot 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 -David Delahaye delahaye -Maxime Dénès mdenes -Daniel De Rauglaudre ddr -Olivier Desmettre desmettr -Damien Doligez doligez -Jean-Christophe Filliâtre filliatr -Jean-Christophe Filliâtre Jean-Christophe Filliatre -Julien Forest jforest -Julien Forest forest -Julien Forest jforest -Julien Forest jforest -Stéphane Glondu glondu -Stéphane Glondu Stephane Glondu -Benjamin Grégoire Benjamin Gregoire -Benjamin Grégoire bgregoir -Benjamin Grégoire gregoire -Jason Gross Jason Gross -Jason Gross Jason Gross -Vincent Gross vgross -Huang Guan-Shieng huang -Hugo Herbelin herbelin -Tom Hutchinson thutchin -Cezary Kaliszyk cek -Florent Kirchner fkirchne -Florent Kirchner kirchner -Marc Lasson mlasson -Pierre Letouzey letouzey -Assia Mahboubi amahboub -Evgeny Makarov emakarov -Gregory Malecha Gregory Malecha -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 -Daniel de Rauglaudre Daniel de Rauglaudre -Daniel de Rauglaudre Daniel De Rauglaudre -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 -Enrico Tassi Enrico Tassi -Enrico Tassi Enrico Tassi -Laurent Théry thery -Laurent Théry thery -Benjamin Werner werner - -# Anonymous accounts - -anonymous < > coq -anonymous < > (no author) <(no author)@85f007b7-540e-0410-9357-904b9bb8a0f7> -anonymous < > serpyc -- cgit v1.2.3