Commit Briefs



Alexander Barton

Update AUTHORS and .mailmap file

And add a note to doc/HowToRelease.txt to not forget to update the list of authors in the future ...