Skip to content

meta: update AUTHORS

Rodrigo Muino Tomonari requested to merge actions/authors-update into master

If this PR exists, there's presumably new additions to the AUTHORS file. This is an automatically generated PR by the authors.yml GitHub Action, which runs tools/update-authors.js and submits a new PR or updates an existing PR.

Please note that there might be duplicate entries. If there are, please remove them and add the duplicate emails to .mailmap directly to this PR.

Merge request reports