Skip to content

doc: update AUTHORS list

Rodrigo Muino Tomonari requested to merge github/fork/rvagg/update-authors into master

Update AUTHORS list using tools/update-authors.sh Fix @muddletoes' .mailmap entry

Merge request reports