Commit 060fbdfd350427fd75b73053be10a92d072dfe63

Jim Meyering 2010-01-16T09:35:04

doc: update users.txt * users.txt: Add grep. (diffutils, gzip): Update URLs.