diff --git a/contributors.txt b/contributors.txt index fb6040c78..2fab1c79d 100644 --- a/contributors.txt +++ b/contributors.txt @@ -89,3 +89,4 @@ YYYY/MM/DD, github id, Full name, email 2015/12/23, pboyer, Peter Boyer, peter.b.boyer@gmail.com 2015/12/24, dtymon, David Tymon, david.tymon@gmail.com 2016/03/27, beardlybread, Bradley Steinbacher, bradley.j.steinbacher@gmail.com +2016/03/29, msteiger, Martin Steiger, antlr@martin-steiger.de