commit 2f5ae212f981f487828e5f99f770390a5a692f10
author Davide Pesavento <davidepesa@gmail.com> Mon Nov 15 21:47:22 2021 -0500
committer Davide Pesavento <davidepesa@gmail.com> Mon Nov 15 21:47:22 2021 -0500
tree b20a7f0aff669fd541da03004f4c4698605f1cd4
parent 1f2c3cf287875a9753ea4983f6f7f77d08bf8e36

Remove obsolete Travis CI config

Also restore .mailmap, erroneously deleted in
commit bed854c1daeb7408f861ec49fc3fb30770e1c49a

Change-Id: I086f83a46d5074024258d246b29dc232a79c74de

AUTHORS.md

diff --git a/AUTHORS.md b/AUTHORS.md
index 0c40c8d..72c3674 100644
--- a/AUTHORS.md
+++ b/AUTHORS.md
@@ -12,7 +12,7 @@
 * Md Ashiqur Rahman <https://ashiqrahman.com>
 * Junxiao Shi <https://cs.arizona.edu/~shijunxiao>
 * Yufeng Zhang <https://yufengzh.io>
-* ***(Maintainer)*** Zhiyi Zhang <https://zhiyi-zhang.com>
+* Zhiyi Zhang <https://zhiyi-zhang.com>
 
 # Technical Advisors