mailpipe: use `messages.sort(...)`, not `m = sorted(m, ...)`.
[pygrader.git] / .mailmap
1 W. Trevor King <wking@tremily.us> <wking@drexel.edu>