tree b20a7f0aff669fd541da03004f4c4698605f1cd4
parent 1f2c3cf287875a9753ea4983f6f7f77d08bf8e36
author Davide Pesavento <davidepesa@gmail.com> 1637030842 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1637030842 -0500

Remove obsolete Travis CI config

Also restore .mailmap, erroneously deleted in
commit bed854c1daeb7408f861ec49fc3fb30770e1c49a

Change-Id: I086f83a46d5074024258d246b29dc232a79c74de