Commit 0a9326b474c2d222a6beee4f547ca5355190af8d
2020-02-22T14:53:02
users.txt: Update. * users.txt: Update URLs to projects that have moved or switched to git. Use canonical host names. Prefer gitweb over cgit. Prefer the tree view over the summary view. Add gawk.