Public snapshot for b1506a67906a4c79b7afb52ade952cdcd546bfae

Src-commit: b1506a67906a4c79b7afb52ade952cdcd546bfae

Author: jfmc

.mailmap

@@ -0,0 +1,56 @@
+# Mapping Ciao authors and contributors
+#
+# See man git-shortlog for a description of the format
+
+<[email protected]> <[email protected]>
+<[email protected]> <[email protected]>
+<[email protected]> <[email protected]>
+Jose F. Morales <[email protected]> <[email protected]>
+Manuel Carro <[email protected]> <[email protected]>
+<[email protected]> <[email protected]> # Nataliia Stulova
+Pedro Lopez Garcia <[email protected]>
+Pedro Lopez Garcia <[email protected]> <[email protected]>
+Pedro Lopez Garcia <[email protected]> <[email protected]>
+Remy Haemmerle <[email protected]>
+Remy Haemmerle <[email protected]> <[email protected]>
+Remy Haemmerle <[email protected]> <[email protected]>
+Umer Liqat <[email protected]>
+Umer Liqat <[email protected]> <[email protected]>
+Onder Babur <[email protected]> <[email protected]>
+
+# Unknown users, general accounts
+Unknown <[email protected]> <[email protected]>
+Unknown <[email protected]> <[email protected]>
+Unknown <[email protected]> <[email protected]>
+
+# Former contributors with probably outdated email address
+#
+# Jose Luis Gonzalez <[email protected]>
+# Jesus Correas Fernandez <[email protected]>
+# Dragan Ivanovic <[email protected]>
+# Amadeo Casas Cuadrado <[email protected]>
+# Alvaro Sevilla <[email protected]>
+# Claudio Vaucheret <[email protected]>
+# Claudio Ochoa <[email protected]>
+# David Trallero Mena <[email protected]>
+# Edison Mera <[email protected]>
+# Emilio Jesus Gallego Arias <[email protected]>
+# Elvira Albert <[email protected]>
+# Enrico Pontelli <[email protected]>
+# Erik Lee <[email protected]>
+# Jorge Navas <[email protected]>
+# Arsen Kostenko <[email protected]>
+# Laurent Hubert <[email protected]>
+# Michael Leuschel <[email protected]>
+# Mario Mendez Lojo <[email protected]>
+# Miky Zamalloa <[email protected]>
+# Pawel Pietrzak <[email protected]>
+# Pablo Chico de Guzmán Huerta <[email protected]>
+# Samir Genaim <[email protected]>
+# Santiago Diez <[email protected]>
+# Tom Schrijvers <[email protected]>
+# Maria Teresa Trigo de la Vega <[email protected]>
+# Victor Pablos Ceruelo <[email protected]>
+# Zoe Drey <[email protected]>
+Lorea Galech <[email protected]> # name was wrong
+Juan Chanco <[email protected]> # name was wrong