You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I believe I added that file back in 2010 or so because I saw it done in other projects, as a simple way to have a list of contributors, in case we ever wanted to change license. However, in recent years I don't think I see other projects maintaining such lists any more - the git history basically contains the same info anyhow.
Perhaps we can remove the list? This would make things slightly simpler for new contributors, to not need to add themselves to the file in their first PR.