diff options
author | Jason Gross <jgross@mit.edu> | 2017-07-06 03:19:20 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-07-06 03:19:20 -0400 |
commit | 64451c53c143aca5a643612fd7673ebb255a0d8d (patch) | |
tree | ef15ef8f0cf0c612156017fdb13ed83412bd8e8a /etc | |
parent | 41dec3c270f237f1d54a4d7f5292556e7d9a202d (diff) |
Don't remove Adam Langley when anonymizing repo
Diffstat (limited to 'etc')
-rw-r--r-- | etc/author-blacklist | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/etc/author-blacklist b/etc/author-blacklist index a878ed429..a2df8569f 100644 --- a/etc/author-blacklist +++ b/etc/author-blacklist @@ -15,7 +15,8 @@ Jade Philipoom Andres Erbsen -Adam +adam.chlipala +Adam Chlipala Chlipala csail mit-plv |