From 3d9f07e5fe730ed9d313c580dc14cac383ecdf5a Mon Sep 17 00:00:00 2001 From: Dong Xie Date: Tue, 14 Feb 2017 10:10:01 +0000 Subject: [PATCH] update the contributors.txt file --- contributors.txt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/contributors.txt b/contributors.txt index 7b1ddc305..366eb48b4 100644 --- a/contributors.txt +++ b/contributors.txt @@ -130,3 +130,6 @@ YYYY/MM/DD, github id, Full name, email 2016/12/22, akosthekiss, Akos Kiss, akiss@inf.u-szeged.hu 2016/12/24, adrpo, Adrian Pop, adrian.pop@liu.se 2017/01/13, marcelo-rocha, Marcelo Rocha, mcrocha@gmail.com +2017/02/14, lecode-official, David Neumann, david.neumann@lecode.de +2017/02/14, xied75, Dong Xie, xied75@gmail.com +