diff options
Diffstat (limited to '.mailmap')
-rw-r--r-- | .mailmap | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -5,6 +5,8 @@ Dejan Jovanovic <dejan@cs.nyu.edu> <dejan.jovanovic@gmail.com> Francois Bobot <francois@bobot.eu> <francois@bobot.eu> Liana Hadarean <lianah@cs.nyu.edu> <lianahady@gmail.com> Andrew Reynolds <andrew.j.reynolds@gmail.com> <andrew.j.reynolds@gmail.com> +Andrew Reynolds <andrew.j.reynolds@gmail.com> <reynolds@laraserver2.epfl.ch> +Andrew Reynolds <andrew.j.reynolds@gmail.com> <reynolds@larapc05.epfl.ch> Cesare Tinelli <cesare-tinelli@uiowa.edu> <cesare-tinelli@uiowa.edu> Christopher L. Conway <christopherleeconway@gmail.com> <christopherleeconway@gmail.com> Clark Barrett <barrett@cs.nyu.edu> <barrett@cs.nyu.edu> |