Merge branch 'dev' into 'mailmap-fix'

# Conflicts:
#   .mailmap
This commit is contained in:
Claudio Maggioni 2020-05-06 12:02:33 +02:00
commit e09c56a4bd

View file

@ -1,5 +1,4 @@
Claudio Maggioni <maggicl@usi.ch> Claudio Maggioni (maggicl) <maggicl@kolabnow.ch>
Claudio Maggioni <maggicl@usi.ch> Claudio Maggioni (maggicl) <maggicl@usi.ch>
Filippo Cesana <cesanf@usi.ch> FilippoCesana <cesanf@usi.ch>
Filippo Cesana <cesanf@usi.ch> Fil Cesana <cesanf@usi.ch>
Andrea Brites Marto <britea@usi.ch> britea <andreabritesma@gmail.com>