From ffd65e3ef4d99dc14eaaf07cfbba6bbe91448ef3 Mon Sep 17 00:00:00 2001 From: Nathan Burles Date: Wed, 20 Jul 2016 16:20:01 +0100 Subject: [PATCH] Added to contributors.txt --- contributors.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/contributors.txt b/contributors.txt index 203aa1eec..724fa6597 100644 --- a/contributors.txt +++ b/contributors.txt @@ -93,3 +93,4 @@ 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, nburles, Nathan Burles, nburles@gmail.com