From 2154c74008463d0feca631bc9345cb4e140ae664 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Tue, 15 Nov 2016 14:49:59 -0500
Subject: Also redact mit-plv and fiat-crypto

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

(limited to 'etc')

diff --git a/etc/author-blacklist b/etc/author-blacklist
index 77dd365da..a878ed429 100644
--- a/etc/author-blacklist
+++ b/etc/author-blacklist
@@ -18,6 +18,8 @@ Erbsen
 Adam
 Chlipala
 csail
+mit-plv
+fiat-crypto
 Robert
 Sloan
 Daniel Ziegler
-- 
cgit v1.2.3