Add @jeremy-w to CONTRIBUTORS
As encouraged by @melted in
https://github.com/idris-lang/Idris-dev/pull/2728#issuecomment-147667042
commitb329791cf17b404796d408ef6f271dbe5d669171
authorJeremy W. Sherman <jeremyw.sherman@gmail.com>
dateTue 13 Oct 2015, 14:44 (11 years ago)
parent9c8d8cc
CONTRIBUTORS+1
@@ -35,6 +35,7 @@ Adam Sandberg Eriksson
3535Seo Sanghyeon
3636Benjamin Saunders
3737Alexander Shabalin
38+Jeremy W. Sherman
3839Timo Petteri Sinnemäki
3940JP Smith
4041startling