diff --git a/contributors.txt b/contributors.txt index 724fa6597..c32b1e5f5 100644 --- a/contributors.txt +++ b/contributors.txt @@ -94,3 +94,4 @@ YYYY/MM/DD, github id, Full name, email 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 +2016/07/20, kosl90, Li Liqiang, kos1990l@gmail.com