Skip to content

Commit

Permalink
doc: update AUTHORS
Browse files Browse the repository at this point in the history
Thinking it is probably better to run this frequently and do small quick
timely updates to AUTHORS rather than waiting months like we usually do
and having a lot of little issues to sort out. If this works well, maybe
it can be a scheduled GitHub Action or something the bot does for us.
  • Loading branch information
Trott committed Jul 1, 2021
1 parent 7ebf36c commit 0e567db
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions AUTHORS
Original file line number Diff line number Diff line change
Expand Up @@ -3317,5 +3317,6 @@ RA80533 <[email protected]>
Mao Wtm <[email protected]>
Houssem Chebab <[email protected]>
Davidson Francis <[email protected]>
Rohan Sharma <[email protected]>

# Generated by tools/update-authors.js

0 comments on commit 0e567db

Please sign in to comment.