From 64451c53c143aca5a643612fd7673ebb255a0d8d Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 6 Jul 2017 03:19:20 -0400 Subject: Don't remove Adam Langley when anonymizing repo --- etc/author-blacklist | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'etc/author-blacklist') 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 -- cgit v1.2.3