Timestamp:
May 27, 2013, 4:49:08 PM (11 years ago)
Author:
Jason Gross <jgross@mit.edu>
Branches:
master, release-1.10
Children:
80c0fc7
Parents:
6383920
git-author:
Jason Gross <jgross@mit.edu> (05/27/13 14:25:55)
git-committer:
Jason Gross <jgross@mit.edu> (05/27/13 16:49:08)
Message:
Add more people to AUTHORS

From a suggestion of Anders:

> Actually, since it’s probably best to keep them in an order that doesn’t
> change over time, here are the authors sorted by when their first commit
> was merged:

$ git log origin/master --pretty='%an' --topo-order --reverse | awk '{if (!h[$0]) {print $0; h[$0]=1}}'

I removed duplicates and most of the middle initials.
(No files)

Note: See TracChangeset for help on using the changeset viewer.