From 339a80ba9371eddc4e48214856d1522a61ddfb76 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Wed, 15 Nov 2017 16:34:09 -0500
Subject: Add Fiat-Crypto to the list of things to be anonymized

---
 etc/author-blacklist | 1 +
 1 file changed, 1 insertion(+)

(limited to 'etc')

diff --git a/etc/author-blacklist b/etc/author-blacklist
index a2df8569f..be7f5d339 100644
--- a/etc/author-blacklist
+++ b/etc/author-blacklist
@@ -21,6 +21,7 @@ Chlipala
 csail
 mit-plv
 fiat-crypto
+Fiat-Crypto
 Robert
 Sloan
 Daniel Ziegler
-- 
cgit v1.2.3