diff --git a/contributors.txt b/contributors.txt index c32b1e5f57..630eab5f48 100644 --- a/contributors.txt +++ b/contributors.txt @@ -93,5 +93,6 @@ YYYY/MM/DD, github id, Full name, email 2016/03/27, beardlybread, Bradley Steinbacher, bradley.j.steinbacher@gmail.com 2016/03/29, msteiger, Martin Steiger, antlr@martin-steiger.de 2016/03/28, gagern, Martin von Gagern, gagern@ma.tum.de +2016/07/20, chrisheller, Chris Heller, chris.heller.greyheller@gmail.com 2016/07/20, nburles, Nathan Burles, nburles@gmail.com 2016/07/20, kosl90, Li Liqiang, kos1990l@gmail.com