Delete AUTHORS file
Our AUTHORS
files was out-dated. I've updated the authors file to include all authors who have commits to master.
This was generated using git log --format='%aN <%aE>' | sort -f | uniq | sort -k2
with some removal of duplicates (for example, ralf.ulrich
and ralf ulrich
are both present). This should probably be auto-generated as a pre-commit hook - if that sounds good to people, I'll open a MR with a hook to automatically generate this file.
Edited by Remy Prechelt