.mailmap

   1 Benedikt Becker <benedikt.becker@inria.fr>
   2 François Bobot <francois@bobot.eu> <bobot@lri.fr>
   3 François Bobot <francois@bobot.eu> <francois.bobot@cea.fr>
   4 Martin Clochard <martin.clochard@lri.fr> <martin@pc-stagiaire.(none)>
   5 Martin Clochard <martin.clochard@lri.fr> <clochard@MC-MacBook.(none)>
   6 Sylvain Dailler <dailler@adacore.com> <sdailler@hauzar@adacore.com>
   7 Sylvain Dailler <dailler@adacore.com> <sylvain.dailler@inria.fr>
   8 Sylvain Dailler <dailler@adacore.com> <dailler@moloch.lri.fr>
   9 Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr> <Jean-Christophe.Filliatre@lri.fr>
  10 Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr> <filliatr@lri.fr>
  11 Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr> <jc@evariste.(none)>
  12 Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr> <jc@gemini.(none)>
  13 Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr> <filliatr@balrog.(none)>
  14 Clément Fumex <clement.fumex@inria.fr> <fumex@moloch.lri.fr>
  15 Quentin Garchery <garchery.quentin@gmail.com> <quentin.garchery@inria.fr>
  16 Léon Gondelman <gondelmans@lri.fr>
  17 Léon Gondelman <gondelmans@lri.fr> <lgondelmann@gmail.com>
  18 Léon Gondelman <gondelmans@lri.fr> <lgondelman@lg-PC.(none)>
  19 Léon Gondelman <gondelmans@lri.fr> <leon@ubuntu.(none)>
  20 David Hauzar <david.hauzar@inria.fr> <hauzar@moloch.lri.fr>
  21 Johannes Kanig <kanig@adacore.com> <johannes.kanig@lri.fr>
  22 Claude Marché <claude.marche@inria.fr> <Claude.Marche@inria.fr>
  23 Claude Marché <claude.marche@inria.fr> <cmarche@dispater.(none)>
  24 Claude Marché <claude.marche@inria.fr> <cmarche@orcus.(none)>
  25 Claude Marché <claude.marche@inria.fr> <cmarche@belzebuth.(none)>
  26 Guillaume Melquiond <guillaume.melquiond@inria.fr>
  27 Guillaume Melquiond <guillaume.melquiond@inria.fr> <melquion@moloch.saclay.inria.fr>
  28 Kim Nguyễn <kim.nguyen@lri.fr> <kn@lri.fr>
  29 Thi-Minh-Tuyen Nguyen <thi-minh-tuyen.nguyen@inria.fr> <nguyen@lri.fr>
  30 Thi-Minh-Tuyen Nguyen <thi-minh-tuyen.nguyen@inria.fr> <nguyen@acces.lri.fr>
  31 Thi-Minh-Tuyen Nguyen <thi-minh-tuyen.nguyen@inria.fr> <nguyenthiminhtuyen@minhtuyen.local>
  32 Thi-Minh-Tuyen Nguyen <thi-minh-tuyen.nguyen@inria.fr> <thi-minh-tuyen.nguyen@inria.fr>
  33 Andrei Paskevich <andrei@lri.fr> <andrei@tertium.org>
  34 Mário Pereira <mpereira@lri.fr>
  35 Mário Pereira <mpereira@lri.fr> <mario.j.p.pereira@gmail.com>
  36 Mário Pereira <mpereira@lri.fr> <parreira@lri.fr>
  37 Mário Pereira <mpereira@lri.fr> <mario-jose.parreira-pereira@inria.fr>
  38 Raphaël Rieu-Helft <raphael.rieu-helft@lri.fr>
  39 Raphaël Rieu-Helft <raphael.rieu-helft@lri.fr> <raphael.rieu-helft@inria.fr>
  40 Raphaël Rieu-Helft <raphael.rieu-helft@lri.fr> <raphael.rieu-helft@trust-in-soft.com>
  41 Raphaël Rieu-Helft <raphael.rieu-helft@lri.fr> <raphael.rieuhelft@gmail.com>
  42 Asma Tafat-Bouzid <atafat@lri.fr>
  43 Asma Tafat-Bouzid <atafat@lri.fr> <atafat@atafat-desktop.(none)>
  44 Piotr Trojanek <piotr.trojanek@altran.com> <piotr.trojanek@gmail.com>